4036 search results - page 1 / 808 » Formal Methods |
FM
1997
Springer
13 years 11 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 ...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
TFM
2009
Springer
14 years 2 months ago
2009
Springer
FM
1998
Springer
13 years 11 months ago
1998
Springer
FM
2006
Springer
13 years 11 months ago
2006
Springer