Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures /
Saved in:
Author / Creator: | Bernardo, Marco. |
---|---|
Imprint: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. |
Language: | English |
Series: | Lecture notes in computer science, 0302-9743 ; 3185 |
Subject: | |
Format: | E-Resource |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/7354472 |
Other authors / contributors: | Corradini, Flavio. SpringerLink (Online service) |
---|---|
ISBN: | 9783540230687 |
Similar Items
-
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Adv /
by: Bernardo, Marco
Published: (2003) -
Formal Methods and Software Engineering.
Published: (2004) -
Formal Methods and Software Engineering.
Published: (2003) -
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control /
by: Abrial, Jean-Raymond
Published: (1996) -
Formal Systems Specification : The RPC-Memory Specification Case Study /
by: Broy, Manfred
Published: (1996)