3765 search results - page 131 / 753 » Formal Methods for Systems Engineering Behavior Models |
103
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
116
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
123
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
121
Voted
SBP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...
124
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...