PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hungar, Hardi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme.

. University of Kiel, Germany, (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Hungar, Hardi
Eine Person hinzufügen mit dem Namen Hungar, Hardi
 

Weitere Publikationen von Autoren mit dem selben Namen

Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme.. University of Kiel, Germany, (1990)Traverdi - Transformation and Verification of Distributed Systems., und . KORSO Book, Volume 1009 von Lecture Notes in Computer Science, Springer, (1995)The Complexity of Verifying Functional Programs.. STACS, Volume 665 von Lecture Notes in Computer Science, Seite 428-439. Springer, (1993)Using contract-based component specifications for virtual integration testing and architecture design., , , , und . DATE, Seite 1023-1028. IEEE, (2011)Domain-Specific Optimization in Automata Learning., , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 315-327. Springer, (2003)Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space., , , , , , , , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 425-440. Springer, (2007)Verification of Automotive Control Units., , , , , , und . Correct System Design, Volume 1710 von Lecture Notes in Computer Science, Seite 319-341. Springer, (1999)Applying Decision Graphs in the Context of Automated Driving.. Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 17-23. Springer, (2018)Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems., , , , , und . FASE, Volume 2306 von Lecture Notes in Computer Science, Seite 336-340. Springer, (2002)Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme"., und . Software Engineering (Workshops), Volume P-122 von LNI, Seite 345-349. GI, (2008)