Author:
Saboori Anooshiravan,Hadjicostis Christoforos N.
Reference10 articles.
1. Opacity generalised to transition systems;Bryans;International Journal of Information Security,2008
2. Introduction to Discrete Event Systems;Cassandras,2008
3. Diagnosability of discrete event systems with modular structure;Contant;Discrete Event Dynamic Systems,2006
4. A taxonomy of trace-based security properties for CCS;Focardi;Proc. of the 7th Workshop on Computer Security Foundations,1994
5. Supervisory control of a class of discrete event processes;Ramadge;SIAM Journal on Control and Optimization,1987
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献