검색결과 : 2건
No. | Article |
---|---|
1 |
Control and synthesis of non-interferent timed systems Benattar G, Cassez F, Lime D, Roux OH International Journal of Control, 88(2), 217, 2015 |
2 |
The Complexity of Codiagnosability for Discrete Event and Timed Systems Cassez F IEEE Transactions on Automatic Control, 57(7), 1752, 2012 |