382 search results - page 39 / 77 » Checking Interval Based Properties for Reactive Systems |
ASWEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...
AB
2007
Springer
14 years 2 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
HASE
2007
IEEE
14 years 16 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...