Formal Modeling and Analysis of Timed Systems
Subtitle: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Paul Pettersson (Editor); Wang Yi (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 23, 2006
Language: eng
Format: Paperback
Number of pages: 305
ISBN-13: 9783540309468
Subjects: Applied mathematics; Temporal automata; Formal methods (Computer science); Computers; Computers - General Information; Programming Languages - General; Computer Books: Languages; Programming - Systems Analysis & Design; Logic Design; Programming - Software Development; Computers / Logic Design; distributed systems; embedded systems; formal analysis; formal methods; formal modeling; formal verification; hybrid systems; Computer simulation; Congresses