1463 search results - page 153 / 293 » Model Checking Implicit-Invocation Systems |
AUTOMATICA
2006
15 years 1 months ago
2006
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
158
click to vote
CORR
2010
Springer
15 years 4 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
348
click to vote
JTRES
2010
ACM
15 years 1 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
117
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
139
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...