4211 search results - page 40 / 843 » A formal approach to MASQ |
COMPUTER
2006
13 years 11 months ago
2006
CORR
2006
Springer
13 years 11 months ago
2006
Springer
ISOLA
2010
Springer
13 years 9 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
FM
1997
Springer
14 years 3 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
ICSOC
2010
Springer
13 years 9 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...