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

dc.contributor.authorCarnevali, Laura
dc.contributor.authorRidi, Lorenzo
dc.contributor.authorVicario, Enrico
dc.date.accessioned2022-02-10T13:03:26Z
dc.date.available2022-02-10T13:03:26Z
dc.date.issued2013
dc.description292-304 p. ; 1.414ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/8913
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectPetri, Réseaux deen_US
dc.subjectRéseaux (mathématiques)en_US
dc.subjectProcessus stochastiquesen_US
dc.subjectGénération d’entréesen_US
dc.titleA Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systemsen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3060.pdf
Size:
1.38 MB
Format:
Adobe Portable Document Format
Description:

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: