Integer Parameter Synthesis for Real-Time Systems

dc.contributor.author	Jovanovic, Aleksandra
dc.contributor.author	Lime, Didier
dc.contributor.author	Roux, Olivier H.
dc.date.accessioned	2022-03-16T12:54:10Z
dc.date.available	2022-03-16T12:54:10Z
dc.date.issued	2015
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9124
dc.description	445-461 p. ;793ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Automates chronométrés	en_US
dc.subject	Systèmes en temps réel	en_US
dc.subject	Algorithmes symboliques	en_US
dc.subject	ROMEO outil	en_US
dc.title	Integer Parameter Synthesis for Real-Time Systems	en_US
dc.type	Article	en_US