Open AccessManifestability Verification of Discrete Event Systems
Author(s) -
Lina Ye,
Philippe Dague,
Lulu He
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - undecidable problem , automaton , property (philosophy) , computer science , pspace , fault (geology) , task (project management) , model checking , event (particle physics) , theoretical computer science , algorithm , point (geometry) , computational complexity theory , mathematics , decidability , physics , quantum mechanics , philosophy , geometry , management , epistemology , seismology , economics , geology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom