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. : Sep 2004, Bertinoro, Italy.
(Lecture Notes in Computer Science ; 3185. Tutorial)
Revised papers."This volume collects a set of papers accompanying the lectures of the fourth edition of the International School on Formal Methods for...
"This volume collects a set of papers accompanying the lectures of the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM) ." -- preface.
書誌注記
Includes bibliographical references and author index.