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. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
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...
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
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
