Search results for: Florian Kammuller
IEEE Systems Journal > 2017 > 11 > 2 > 534 - 545
2016 IEEE Security and Privacy Workshops (SPW) > 304 - 313
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Verification > 310-324
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 221-238
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 305-319
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 233-248
Lecture Notes in Computer Science > Data Privacy Management and Autonomous Spontaneous Security > Data Privacy Management > 93-107
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Algebraic Calculi > 190-205
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The GRIDCOMP Project > 159-179
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The BIONETS Project > 1-20
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 38-55