5200 search results - page 102 / 1040 » Symbolic models for control systems |
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
EURODAC
1995
IEEE
14 years 13 days ago
1995
IEEE
The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the...
FM
2008
Springer
13 years 10 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
DFG
2004
Springer
14 years 18 days ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...