Treffer: Runtime verification
Titel:
Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary / Bernd Finkbeiner ...
Beteiligt:
Veröffentlicht:
[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Dagstuhl seminar proceedings 07011