( en | de | ru )

 

Disambiguation of "Wolff, Burkhart"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Network Models and Their Application to Firewall Policies.

, , and . Arch. Formal Proofs, (2017)

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.

Burkhart Wolff

Burkhart Möbusz

Burkhart Sachs

Walter Burkhart

Burkhart Krämer

 

Other publications of authors with the same name

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