4036 search results - page 1 / 808 » Formal Methods |
157
Voted
FM
1997
Springer
15 years 1 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 ...
132
Voted
AMAST
1997
Springer
15 years 1 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...
132
Voted
FM
1998
Springer
15 years 1 months ago
1998
Springer
158
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer