4036 search results - page 1 / 808 » Formal Methods |
FM
1997
Springer
13 years 8 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 8 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
13 years 11 months ago
2009
Springer
FM
1998
Springer
13 years 8 months ago
1998
Springer
FM
2006
Springer
13 years 8 months ago
2006
Springer