( en | de | ru )

 

Disambiguierung von "Willemse, Tim A. C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs.

, , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 17-32. 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.

C A Knorr

Tim C Lüth

Tim C Lüth

Tim C Lüth

Tim C Lüth

 

Weitere Publikationen von Autoren mit dem selben Namen

Strategy Derivation for Small Progress Measures., und . CoRR, (2014)A framework for the extended evaluation of ABAC policies., , und . Cybersecurity, 2 (1): 6 (2019)Proof Graphs for Parameterised Boolean Equation Systems., , und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 470-484. Springer, (2013)On Parity Game Preorders and the Logic of Matching Plays., und . SOFSEM, Volume 9587 von Lecture Notes in Computer Science, Seite 277-289. Springer, (2016)Static Analysis Techniques for Parameterised Boolean Equation Systems., , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2009)Integrating Verification, Testing, and Learning for Cryptographic Protocols., , , , und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 538-557. Springer, (2007)Off-the-shelf automated analysis of liveness properties for just paths., , und . Acta Informatica, 57 (3-5): 551-590 (2020)Bisimulation Minimisations for Boolean Equation Systems., und . Haifa Verification Conference, Volume 6405 von Lecture Notes in Computer Science, Seite 102-116. Springer, (2009)Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2., , , , und . FORTE, Volume 13273 von Lecture Notes in Computer Science, Seite 11-30. Springer, (2022)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2014)