EAN: 9783642333644

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS K...

This book constitutes the refereed proceedings of the 10th International Conference on Formal
Modeling and Analysis of Timed Systems  FORMATS 2012  held in London  UK in September 2012. The
16 revised full papers presented together with 2 invited talks were carefully reviewed and
selected from 34 submissions. The book covers topics of foundations and semantics  methods and
tools  techniques  algorithms  hybrid automata  appilcations  real-time software and hardware
circuits.

Aktuelle Preise zur EAN 9783642333644

Produktinformationen zur 9783642333644