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