Book Details

978-3-540-45031-3

Formal Modeling and Analysis of Timed Systems (vol. # 4202)

Publication year: 2006

ISBN: 978-3-540-45031-3

Internet Resource: Please Login to download book


The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).


Subject: Computer Science, Automat, algorithm, algorithms, automata, data structure, data structures, modeling, petri net, real-time, semantics, tools