( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interactive Testing with HOL-TestGen.

, и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 87-102. Springer, (2005)

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.

Burkhart Wolff

Burkhart Sachs

Burkhart Möbusz

Walter Burkhart

Burkhart Seim

 

Другие публикации лиц с тем же именем

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing., и . TAP, том 4454 из Lecture Notes in Computer Science, стр. 149-168. Springer, (2007)Using Theory Morphisms for Implementing Formal Methods Tools., и . TYPES, том 2646 из Lecture Notes in Computer Science, стр. 59-77. Springer, (2002)Verification of a Signature Architecture with HOL-Z., , , и . FM, том 3582 из Lecture Notes in Computer Science, стр. 269-285. Springer, (2005)Isabelle/Circus., , и . Arch. Formal Proofs, (2012)Testing Distributed Component Based Systems Using UML/OCL., и . GI Jahrestagung (1), том 157 из Schriftenreihe der Österreichischen Computer-Gesellschaft, стр. 608-614. Konstanz UVK-Verl.-Ges., (2001)On theorem prover-based testing., и . Formal Aspects Comput., 25 (5): 683-721 (2013)An approach to modular and testable security models of real-world health-care applications., , , и . SACMAT, стр. 133-142. ACM, (2011)A Model Transformation Semantics and Analysis Methodology for SecureUML., , и . MoDELS, том 4199 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2006)Verified Firewall Policy Transformations for Test Case Generation., , , и . ICST, стр. 345-354. IEEE Computer Society, (2010)Making Agile Development Processes fit for V-style Certification Procedures., , , и . CoRR, (2019)