Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
  • Metaadatok
Tartalom: https://pp.bme.hu/eecs/article/view/2080
Archívum: PP Electrical Engineering and Computer Science
Gyűjtemény: Articles
Cím:
Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
Létrehozó:
Vörös, András; Budapest University of Technology and Economics
Darvas, Dániel
Jámbor, Attila
Bartha, Tamás
Közreműködő:
MFB Hungarian Development Bank Plc. & ARTEMIS JU and the Hungarian National Development Agency (NFÜ) in frame of the R3-COP project
Kiadó:
Budapest University of Technology and Economics (BME)
Dátum:
2014-04-07
Téma:
model checking, saturation, safety-critical system, nuclear power plant, verification, Coloured Petri Net
Tartalmi leírás:
Nyelv:
angol
Típus:
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Formátum:
application/pdf
Azonosító:
https://pp.bme.hu/eecs/article/view/2080
10.3311/PPee.2080
Forrás:
Periodica Polytechnica Electrical Engineering and Computer Science; Vol. 58, No. 1 (2014); 3-13
Kapcsolat:
https://pp.bme.hu/eecs/article/view/2080/6336
https://pp.bme.hu/eecs/article/downloadSuppFile/2080/24
Létrehozó:
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access). As soon as the paper is accepted, finally submitted and edited, the npaper will appear in the "OnlineFirst" page of the journal, thus from this point no other internet-based publication is necessary.