TY - BOOK ID - 5362667 TI - Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers AU - Larsen, Kim G. AU - Niebert, Peter. AU - FORMATS 2003 PY - 2004 VL - 2791 SN - 3540409033 3540216715 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer simulation KW - Temporal automata KW - Formal methods (Computer science) KW - Automata KW - Computer Science KW - Engineering & Applied Sciences KW - Machine theory KW - Robots KW - Simulation par ordinateur KW - Automates temporels KW - Méthodes formelles (Informatique) KW - Automates KW - Congresses KW - Congrès KW - Automatons KW - Automata, Temporal KW - Mathematics. KW - Special purpose computers. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Applied mathematics. KW - Engineering mathematics. KW - Applications of Mathematics. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Special Purpose and Application-Based Systems. KW - Manipulators (Mechanism) KW - Robotics KW - Mecha (Vehicles) KW - Congresses. KW - Logic design. KW - Computer science. KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Math KW - Special purpose computers KW - Computers KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Engineering analysis KW - Mathematical analysis KW - Mathematics UR - https://www.unicat.be/uniCat?func=search&query=sysid:5362667 AB - This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems. ER -