Author:
Yin Xiang,Lafortune Stéphane
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference37 articles.
1. Concurrent secrets;Badouel;Discrete Event Dynamic Systems: Theory & Applications,2007
2. Probabilistic opacity for Markov decision processes;Bérard;Information Processing Letters,2015
3. Opacity generalised to transition systems;Bryans;International Journal of Information Security,2008
4. Modelling opacity using Petri nets;Bryans;Electronic Notes in Theoretical Computer Science,2005
5. Introduction to discrete event systems;Cassandras,2008
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献