Enforcing opacity of regular predicates on modal transition systems
Darondeau, Philippe, Marchand, Hervé, Ricker, LaurieVolume:
25
Language:
english
Journal:
Discrete Event Dynamic Systems
DOI:
10.1007/s10626-014-0193-7
Date:
June, 2015
File:
PDF, 1.07 MB
english, 2015