8 search results - page 2 / 2 » amast 1997 |
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...
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...