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

Web Site CiNii Available at 18 libraries

Bibliographic Information

Title: "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"

Publisher

Publication Year

Includes bibliographical references and index

Details 詳細情報について

Place of Publication

Subject

Data Source

Export