157 search results - page 20 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
JOT
2008
13 years 8 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
CAV
2010
Springer
13 years 12 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
SAFECOMP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...