5200 search results - page 79 / 1040 » Symbolic models for control systems |
100
Voted
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
152
click to vote
CSFW
1995
IEEE
15 years 8 months ago
1995
IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
154
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
159
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
108
Voted
ICEIS
2005
IEEE
15 years 10 months ago
2005
IEEE