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

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 Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1-23
Journal	Lecture Notes in Computer Science
Volume	2421
Publication status	Published - 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

Persistent URL (handle)

Persistent link

Cite this

@article{b88808b8808741d688d4e1daa960eb73,

title = "Refinement and Verification Applied to an In-Flight Data Acquisition Unit",

author = "W.J. Fokkink and N. Ioustinova and E. Kesseler and {van de Pol}, J.C. and Y.S. Usenko and Y.A. Yushtein",

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{\'i}nsk{\'y}, A. Kucera",

year = "2002",

language = "English",

volume = "2421",

pages = "1--23",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

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

AU - Fokkink, W.J.

AU - Ioustinova, N.

AU - Kesseler, E.

AU - van de Pol, J.C.

AU - Usenko, Y.S.

AU - Yushtein, Y.A.

N1 - 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

PY - 2002

Y1 - 2002

M3 - Article

SN - 0302-9743

VL - 2421

SP - 1

EP - 23

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -