Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

International Conference on Formal Engineering Methods (ICFEM, LNCS 4789)

Authors: Guillermo Rodríguez-Navas; Julián Proenza Arenas; Hans Hansson.
Category: Conferences Publication Date: December, 2007 Citekey: Rodriguez-Navas-ea:2007 Location: Boca Raton (Florida, USA)
View PDF

Associated Project(s)