Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Gerd Behrmann, Kim Guldstrand Larsen, H. R. Andersen, H. Hulgaard, J. Lind-Nielsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

17 Citationer (Scopus)
OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : Lecture Notes in Computer Science
RedaktørerCleaveland, W. R. (ed.)
ForlagIEEE Computer Society Press
Publikationsdato1999
Udgave1579
Sider163-177
ISBN (Trykt)3540657037
StatusUdgivet - 1999
BegivenhedVerification of Hierarchical State/Event Systems using Reusability and Compositionality -
Varighed: 19 maj 2010 → …

Konference

KonferenceVerification of Hierarchical State/Event Systems using Reusability and Compositionality
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater