A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems

dc.contributor.author	Carnevali, Laura
dc.contributor.author	Ridi, Lorenzo
dc.contributor.author	Vicario, Enrico
dc.date.accessioned	2022-02-10T13:03:26Z
dc.date.available	2022-02-10T13:03:26Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/8913
dc.description	292-304 p. ; 1.414ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Petri, Réseaux de	en_US
dc.subject	Réseaux (mathématiques)	en_US
dc.subject	Processus stochastiques	en_US
dc.subject	Génération d’entrées	en_US
dc.title	A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems	en_US
dc.type	Article	en_US