Opening book details…
Can I read Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures on EtoBox?
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures by Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.) is a computer science book available to read on EtoBox.
What is Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures about?
A large class of computing systems can be speci'ed and veri'ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems, instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collect
Who reads Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2004
- Language
- EN
- ISBN
- 9783540300809
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)
Browse all works by Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)
Similar books
- 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 ; advanced lectures — David Garlan (auth.), Marco Bernardo, Paola Inverardi (2003)
- Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures — Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (2011)
- Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures — Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (2013)
- Formal methods for computational systems biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008: advanced lectures — Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (2008)
- Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures — Einar Broch Johnsen Marco Bernardo (2015)
- Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures — Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (2009)