309 search results - page 31 / 62 » Modeling Railway Control Systems Using Graph Grammars: A Cas... |
FM
1999
Springer
14 years 2 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
IEE
2011
13 years 5 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...