( en | de | ru )

 

Disambiguierung von "Schmitt, Peter H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying the Mondex Case Study.

, und . SEFM, Seite 47-58. IEEE Computer Society, (2007)

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.

P H Schmitt

Peter Schmitt

Peter Schmitt

Peter Schmitt

Peter Schmitt

 

Weitere Publikationen von Autoren mit dem selben Namen

The Java Modeling Language (JML) (NII Shonan Meeting 2013-3)., , und . NII Shonan Meet. Rep., (2013)Improving Non-Progress Cycle Checks, und . Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, Seite 50-67. Springer, (Juni 2009)Computational Aspects of Three-Valued Logic.. CADE, Volume 230 von Lecture Notes in Computer Science, Seite 190-198. Springer, (1986)Vererbungshierarchien und Prädikatenlogik.. Wissensrepräsentation in Expertensystemen, Volume 172 von Informatik-Fachberichte, Seite 79-97. Springer, (1987)Tableau Calculus for Order Sorted Logic., und . Sorts and Types in Artificial Intelligence, Volume 418 von Lecture Notes in Computer Science, Seite 49-60. Springer, (1989)Iterate Logic.. Proof Theory in Computer Science, Volume 2183 von Lecture Notes in Computer Science, Seite 191-201. Springer, (2001)Perspectives in Multi-Valued Logic.. Natural Language and Logic, Volume 459 von Lecture Notes in Computer Science, Seite 206-220. Springer, (1989)Mathematical Logic and Artificial Intelligence. LILOG-Report, (1987)Integrating Object-Oriented Design and Deductive Verification of Software, , und . SEFM ’06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Seite 60. Washington and DC and USA, IEEE Computer Society, (2006)Tool Support for OCL and Related Formalisms - Needs and Trends, , , , , , , und . MoDELS Satellite Events, Seite 1-9. (2005)