Skip to main navigation Skip to search Skip to main content

Real-Time Systems Refinement with State Projections

  • D Hung van
  • , Dimitar Guelev

Research output: Book/ReportCommissioned report

Original languageEnglish
PublisherNot Known
Publication statusPublished - 1 Jan 2002

Bibliographical note

10th Anniversary Colloquium of UNU/IIST, Lisbon, October 2002

Cite this