5200 search results - page 102 / 1040 » Symbolic models for control systems |
191
Voted
CDC
2008
IEEE
15 years 7 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...
136
Voted
EURODAC
1995
IEEE
15 years 9 months 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...
155
click to vote
FM
2008
Springer
15 years 6 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...
145
click to vote
DFG
2004
Springer
15 years 9 months 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...