Predictive runtime verification of timed properties
Year of publication
2017
Authors
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, Viorel
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Journal
Article type
Original article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A1 Journal article (refereed), original researchPublication channel information
Journal
Publisher
Volume
132
Pages
353-365
ISSN
Publication forum
Publication forum level
3
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Keywords
[object Object],[object Object],[object Object],[object Object]
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1016/j.jss.2017.06.060
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes