3765 search results - page 3 / 753 » Formal Methods for Systems Engineering Behavior Models |
ICSE
2001
IEEE-ACM
13 years 10 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
ICFCA
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
RTCSA
1997
IEEE
13 years 10 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
MODELS
2009
Springer
14 years 9 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
SAS
2001
Springer
13 years 10 months ago
2001
Springer