Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Austrian Institute of Technology Home
Hilfe und FAQ
Deutsch
English
Home
Profile
Forschungsgruppen
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Nach Expertise, Namen oder Zugehörigkeit suchen
Counter-Example Driven Abstraction Refinement - A Pattern for Formal Verification of Properties of Large Systems
Georg Weissenbacher (Autor)
Wolfgang Herzner (Autor)
Center for Digital Safety & Security
Aktivität
:
Vortrag ohne Tagungsband / Vorlesung
›
Vortrag ohne Tagungsband
Zeitraum
6 Juli 2005
→
10 Juli 2005
Ereignistitel
EuroPLoP'05
Veranstaltungstyp
Konferenz
Bekanntheitsgrad - verpflichtend einzutragen!
International
Research Field
Nicht definiert