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
Volume2421
Publication statusPublished - 2002

Bibliographical note

DBLP:conf/concur/FokkinkIKPUY02
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

Fokkink, W. J., Ioustinova, N., Kesseler, E., van de Pol, J. C., Usenko, Y. S., & Yushtein, Y. A. (2002). Refinement and Verification Applied to an In-Flight Data Acquisition Unit. Lecture Notes in Computer Science, 2421, 1-23.