| |
Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189.
|
| |
American Control Conference, 2008 (05 August 2008), pp. 2734-2740.
|
| |
In First International Workshop on Cyber-Physical Systems (January 2008)
|
| |
|
| |
|
| |
Embedded Software In Embedded Software (2001), pp. 166-184.
|
| |
Queue, Vol. 3, No. 7. (September 2005), pp. 54-62.
|
| |
In RTAS '08: Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (2008), pp. 113-122.
|
| |
In Beyond SCADA (8~9 November 2006)
|
| |
|
| |
|
| |
In Cyber-physical systems (2006)
|
| |
Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE In Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE (2008), pp. 870-875.
|
| |
Energy Conversion, IEEE Transactions on In Energy Conversion, IEEE Transactions on, Vol. 19, No. 1. (2004), pp. 125-135.
|
| |
Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 363-369.
|
| |
|
| |
In 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06). (November 2006)
|
| |
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85.
|
| |
http://www.esterel-technologies.com/products/scade-suite/design-verifier
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Industry Applications, IEEE Transactions on In Industry Applications, IEEE Transactions on, Vol. 43, No. 1. (2007), pp. 139-149.
|
| |
In National Workshop on High-Confidence Automotive Cyber-Physical Systems (3-4 April 2008)
|
| |
Power Engineering Society General Meeting, 2006. IEEE In Power Engineering Society General Meeting, 2006. IEEE (2006), 6 pp..
|
| |
Computer, Vol. 40, No. 11. (2007), pp. 104-105.
|
Search
