Paul Pettersson

Lines of Research

Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems Date: 2009-12-31 | Publisher: IGI Global

Universitat de les Illes Balears
Departament de Matemàtiques i Informàtica

Edif. Anselm Turmeda
Universitat de les Illes Balears (UIB)
Cra. de Valldemossa, km 7’5
07122 – Palma de Mallorca (SPAIN)

Web design Cosmos Factory

Pages

Social