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.description | 292-304 p. ; 1.414ko. | en_US |
dc.identifier.issn | 0098-5589 | |
dc.identifier.uri | http://repository.usthb.dz//xmlui/handle/123456789/8913 | |
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 |