PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hungar, Hardi"

Author of the publication

copydeleteadd this publication to your clipboard
Using contract-based component specifications for virtual integration testing and architecture design.

, , , , and . DATE, page 1023-1028. IEEE, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Hungar, Hardi
add a person with the name Hungar, Hardi
 

Other publications of authors with the same name

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