A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
No Thumbnail Available
Files
Date
2013
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
292-304 p. ; 1.414ko.
Keywords
Petri, Réseaux de, Réseaux (mathématiques), Processus stochastiques, Génération d’entrées