ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "temporal logic"
temporal logic
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Wally axiomatics of Branching Continuations
2013 |
Filozofická fakulta
publication
Does branching explain flow of time or the other way around?
2015 |
Filozofická fakulta
publication
Labelled Superposition for PLTL
2012 |
Matematicko-fyzikální fakulta
publication
Formal Verification of Annotated Textual Use-Cases
2015 |
Matematicko-fyzikální fakulta, Ústřední knihovna
publication
Flow of Time in BST/BCont Models and Related Semantical Observations
2012 |
Filozofická fakulta
publication
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
2012 |
Matematicko-fyzikální fakulta
publication
DeSpec: Modelování v prostředí Windows ovladačů
2009 |
Matematicko-fyzikální fakulta
publication
Ověřování softwarových komponent s použitím Behavior Protocols a Spinu
2007 |
Matematicko-fyzikální fakulta
publication
Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker
+2
2007 |
Matematicko-fyzikální fakulta