Sciweavers

1261 search results - page 13 / 253
» A Hierarchy of Temporal Properties
Sort
View
CHARME
2001
Springer
98views Hardware» more  CHARME 2001»
15 years 9 months ago
Temporal Properties of Self-Timed Rings
Anthony Winstanley, Mark R. Greenstreet
HYBRID
2010
Springer
15 years 8 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
AMAI
2008
Springer
15 years 6 months ago
Reasoning about temporal properties of rational play
Nils Bulling, Wojciech Jamroga, Jürgen Dix
CAISE
2006
Springer
15 years 9 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck