575 search results - page 84 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
ROBOCUP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
TRUSTBUS
2007
Springer
14 years 1 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...