Refinement and Verification Applied to an In-Flight Data Acquisition Unit

W.J. Fokkink, N. Ioustinova, E. Kesseler, J.C. van de Pol, Y.S. Usenko, Y.A. Yushtein

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)1-23
JournalLecture Notes in Computer Science
Publication statusPublished - 2002

Bibliographical note

Proceedings title: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings
Publisher: Springer
Editors: L. Brim, P. Jancar, M. Kretínský, A. Kucera

Cite this