( en | de | ru )

 

Disambiguierung von "Wolff, Burkhart"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unifying Theories in Isabelle/HOL.

, , und . UTP, Volume 6445 von Lecture Notes in Computer Science, Seite 188-206. Springer, (2010)

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.

Burkhart Wolff

Burkhart Möbusz

Burkhart Sachs

Walter Burkhart

Burkhart Seim

 

Weitere Publikationen von Autoren mit dem selben Namen

Testing Distributed Component Based Systems Using UML/OCL., und . GI Jahrestagung (1), Volume 157 von Schriftenreihe der Österreichischen Computer-Gesellschaft, Seite 608-614. Konstanz UVK-Verl.-Ges., (2001)Verification of a Signature Architecture with HOL-Z., , , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 269-285. Springer, (2005)Using Theory Morphisms for Implementing Formal Methods Tools., und . TYPES, Volume 2646 von Lecture Notes in Computer Science, Seite 59-77. Springer, (2002)Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing., und . TAP, Volume 4454 von Lecture Notes in Computer Science, Seite 149-168. Springer, (2007)Isabelle/Circus., , und . Arch. Formal Proofs, (2012)Semantics, calculi, and analysis for object-oriented specifications., und . Acta Inf., 46 (4): 255-284 (2009)On theorem prover-based testing., und . Formal Aspects Comput., 25 (5): 683-721 (2013)Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming., , , , und . Arch. Formal Proofs, (2019)A Model Transformation Semantics and Analysis Methodology for SecureUML., , und . MoDELS, Volume 4199 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2006)A Case Study of a Formalized Security Architecture., und . FMICS, Volume 80 von Electronic Notes in Theoretical Computer Science, Seite 24-40. Elsevier, (2003)