2 options
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, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).
LIBRA QA76.54 .I575 2004
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy)
- Series:
- Lecture notes in computer science. Tutorial
- Lecture notes in computer science 0302-9743 ; 3185.
- Lecture notes in computer science, 0302-9743 ; 3185
- Tutorial
- Language:
- English
- Subjects (All):
- Real-time control--Congresses.
- Real-time control.
- Real-time programming--Congresses.
- Real-time programming.
- Real-time data processing--Congresses.
- Real-time data processing.
- Computer systems--Congresses.
- Computer systems.
- Telecommunication systems--Congresses.
- Telecommunication systems.
- Computer software--Congresses.
- Computer software.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- vi, 293 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [2004]
- Summary:
- This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540230688
- OCLC:
- 56492459
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.