Autor der Publikation

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

, und . SEC, Volume 428 von IFIP Advances in Information and Communication Technology, Seite 250-263. Springer, (2014)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS., und . SEC, Volume 428 von IFIP Advances in Information and Communication Technology, Seite 250-263. Springer, (2014)Managing Structural Information by Higher-Order Colored Unification., und . J. Autom. Reasoning, 25 (2): 123-164 (2000)Formal Software Development in MAYA., und . Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 407-432. Springer, (2005)Deduction in the Verification Support Environment (VSE)., , , , , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 268-286. Springer, (1996)Semantic Management of Heterogeneous Documents.. MICAI, Volume 5845 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2009)VSE: Controlling the Complexity in Formal Software Developments., , , , , , , , und . FM-Trends, Volume 1641 von Lecture Notes in Computer Science, Seite 351-358. Springer, (1998)Towards an Evolutionary Formal Software Development., und . ASE, Seite 417-420. IEEE Computer Society, (2001)The Design of the CADE-16 Inductive Theorem Prover Contest., und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 374-377. Springer, (1999)On the Use of Word Networks to Mimicry Attack Detection., , und . ETRICS, Volume 3995 von Lecture Notes in Computer Science, Seite 423-435. Springer, (2006)Structure Formation to Modularize Ontologies., und . WoMO, Volume 875 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)