AMAST
1997
Springer
13 years 10 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 10 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 10 months ago
1997
Springer
AMAST
1997
Springer
13 years 11 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 11 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 11 months ago
1997
Springer
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
