Automated Test Generation Timed Automata

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

OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings : Lecture Notes in Computer Science
RedaktørerMargaria, T. : Yi, W. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2001
Udgave2031
Sider343-357
ISBN (Trykt)3540418652
StatusUdgivet - 2001
BegivenhedAutomated Test Generation Timed Automata -
Varighed: 19 maj 2010 → …

Konference

KonferenceAutomated Test Generation Timed Automata
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citationsformater