Using Timed Automata for Modeling Distributed Systems with Clocks : Challenges and Solutions

dc.contributor.author	Rodriguez-Navas, Guillermo
dc.contributor.author	Proenza, Julian
dc.date.accessioned	2022-03-02T10:04:45Z
dc.date.available	2022-03-02T10:04:45Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9062
dc.description	857-868 p. ; 824ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Vérification de modèles (informatique)	en_US
dc.subject	Model checking	en_US
dc.subject	Automate chronométré	en_US
dc.subject	Automate hybride	en_US
dc.title	Using Timed Automata for Modeling Distributed Systems with Clocks : Challenges and Solutions	en_US
dc.type	Article	en_US