1501 search results - page 28 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
ATAL
2009
Springer
15 years 11 days ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
119
click to vote
TII
2008
14 years 11 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
124
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...