Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität Graz Home
English
Deutsch
Home
Personen
Veröffentlichungen
Organisationen
Projekte
Aktivitäten
Preise
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
Celebration Event for Frank de Boer's 60th Birthday
Aichernig, B.
(Redner/in)
Institut für Softwaretechnologie (7160)
Fakultät für Informatik und Biomedizinische Technik (7000)
Aktivität
:
Vortrag oder Präsentation
›
Gastvortrag
›
Science to science
Beschreibung
Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking
Zeitraum
3 Apr. 2016
Ereignistitel
Celebration Event for Frank de Boer's 60th Birthday
Veranstaltungstyp
Workshop
Ort
Eindhoven, Niederlande
Auf Karte anzeigen
Fields of Expertise
Information, Communication & Computing
Verbundene Inhalte
Projekte
CRYSTAL - Critical Systems Engineering Factories
Projekt
:
Forschungsprojekt
TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]
Projekt
:
Forschungsprojekt