The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedi ...
DETAILS
FME '93: Industrial-Strength Formal Methods
First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Kartoniert, xiii, 695 S.
XIII, 695 p.
Sprache: Englisch
233 mm
Springer, Berlin (1993)
Gewicht: 880 g
ISBN-13: 978-3-540-56662-5
Titelnr.: 09248782