Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

Authors: Guillermo Rodríguez-Navas; Julián Proenza Arenas; Hans Hansson; Paul Pettersson.
Category: Chapters Publication Date: December, 2009 Published In/By: IGI Global Editor(s): Gomes, Luís and Fernandes, João M. Citekey: RPHP2009
View PDF

Associated Project(s)