| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
|
| |
Aerospace Conference, 2008 IEEE (20 May 2008), pp. 1-11.
|
| |
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2007), pp. 245-260.
|
| |
|
| |
In Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems (2008)
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 27, No. 7. (17 June 2008), pp. 1165-1178.
|
| |
|
| |
|
| |
|
| |
Robotics and Automation, IEEE Transactions on, Vol. 8, No. 3. (06 August 2002), pp. 350-361.
|
| |
Formal Methods in Computer Aided Design, Vol. 0 (2006), pp. 76-77.
|
| |
25 Years of Model Checking (2008), pp. 1-26.
|
| |
Formal Methods in System Design, Vol. 25, No. 2-3. (October 2004), pp. 167-198.
|
| |
Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on (25 June 2003), pp. 47-53.
|
| |
In 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (2005)
|
| |
Formal Methods for the Design of Real-Time Systems (2004), pp. 200-236.
|
| |
American Control Conference, 2008 (05 August 2008), pp. 2734-2740.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 2002 American Control Conference, Vol. 5 (8-10 May 2002), pp. 4147-4152.
|
Search
