Treffer: Runtime verification
Titel:
Runtime verification : first international conference ; proceedings / RV 2010, St. Julians, Malta, November 1 - 4, 2010. Howard Barringer ... (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2010
Umfang:
XIII, 492 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 6418
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
9783642166112