| |
Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96) In Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96) (06 August 2002), pp. 2-10.
|
| |
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on In Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on (2001), pp. 228-235.
|
| |
Proceedings of the 19th Digital Avionics Systems Conferences (DASC) In Proceedings of the 19th Digital Avionics Systems Conferences (DASC), Vol. 1 (2000), pp. 1C2/1-1C2/8.
|
| |
Proceedings of the Fifth International Conference on Real-Time Computing Systems and Applications In Proceedings of the Fifth International Conference on Real-Time Computing Systems and Applications (1998), pp. 103-109.
|
| |
Aerospace and Electronic Systems, IEEE Transactions on In Aerospace and Electronic Systems, IEEE Transactions on, Vol. 42, No. 3. (2006), pp. 1163-1170.
|
| |
Annual Reviews in Control, Vol. 29, No. 1. (2005), pp. 101-115.
|
| |
Information, Decision and Control, 2007. IDC '07 In Information, Decision and Control, 2007. IDC '07 (2007), pp. 170-175.
|
| |
Digital Avionics Systems Conference, 2007. DASC '07. IEEE/AIAA 26th In Digital Avionics Systems Conference, 2007. DASC '07. IEEE/AIAA 26th (2007), pp. 5.B.5-1-5.B.5-10.
|
| |
IEEE Aerospace and Electronic Systems Magazine In IEEE Aerospace and Electronic Systems Magazine, Vol. 6, No. 8. (1991), pp. 9-12.
|
| |
|
| |
The 23rd Digital Avionics Systems Conference (DASC 04) In The 23rd Digital Avionics Systems Conference (DASC 04), Vol. 2 (2004), pp. 10.B.4-1-10.B.4-10.
|
| |
Digital Avionics Systems, 2001. DASC. The 20th Conference In Digital Avionics Systems. DASC. The 20th Conference, Vol. 1 (2001), pp. 3A2/1-3A2/8.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation In Leveraging Applications of Formal Methods, Verification and Validation, Vol. 17 (2009), pp. 369-384.
|
| |
Reliability Engineering & System Safety, Vol. 75, No. 2. (February 2002), pp. 133-145.
|
| |
Control Systems Technology, IEEE Transactions on, Vol. 15, No. 2. (2007), pp. 324-331.
|
| |
|