| |
Reliability Engineering & System Safety, Vol. 94, No. 10. (October 2009), pp. 1685-1693.
|
| |
Networking, IEEE/ACM Transactions on, Vol. PP, No. 99. (18 August 2009), pp. 1-1.
|
| |
Journal of Loss Prevention in the Process Industries, Vol. 22, No. 4. (July 2009), pp. 516-527.
|
| |
Broadband Networks, 2005 2nd International Conference on, Vol. 2 (3-7 October 2005), pp. 1328-1337.
by J. Tapolcai, P. Cholda, T. Cinkler, et al.K. Wajda, A. Jajszczyk, A. Autenrieth, S. Bodamer, D. Colle, G. Ferraris, H. Lonsethagen, I. E. Svinnset, D. Verchere
|
| |
|
| |
Computer Networks (22 August 2009)
|
| |
|
| |
Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on (2005), pp. 98-107.
|
| |
In SASN '06: Proceedings of the fourth ACM workshop on Security of ad hoc and sensor networks (2006), pp. 71-82.
|
| |
Information Theory, IEEE Transactions on In Information Theory, IEEE Transactions on, Vol. 54, No. 6. (2008), pp. 2596-2603.
|
| |
|
| |
In PRDC '07: Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) (2007), pp. 373-380.
|
| |
Distributed Computing Systems, 2007. ICDCS '07. 27th International Conference on (2007), pp. 40-40.
|
| |
|
| |
Resilient Control Systems, 2009. ISRCS '09. 2nd International Symposium on (18 September 2009), pp. 31-35.
|
| |
|
| |
In Journal of Software Tools for Technology Transfer (STTT, Vol. 4 (0)
|
| |
|
| |
|
| |
IEEE Control Systems Magazine, Vol. 14, No. 2. (April 1994), pp. 53-59.
|
| |
In Proceedings of the 2002 American Control Conference, Vol. 5 (8-10 May 2002), pp. 4159-4164.
posted to test by dwei98
on 2009-08-31 20:20:03
as 
|
| |
In Proceedings of the 2002 American Control Conference, Vol. 5 (8-10 May 2002), pp. 4141-4146.
posted to test by dwei98
on 2009-08-31 20:11:32
as
|
| |
In Proceedings of the 2002 American Control Conference, Vol. 5 (8-10 May 2002), pp. 4147-4152.
|
| |
Flexible Services and Manufacturing Journal
|
| |
Formal Methods for Real-Time and Probabilistic Systems (1999), pp. 277-298.
|
| |
In In [15, Vol. 2057 (2001), pp. 143-162.
|
| |
Software Engineering, Vol. 27, No. 8. (2001), pp. 1000-9999.
|
| |
J. Syst. Softw., Vol. 18, No. 1. (April 1992), pp. 33-60.
|
| |
Form. Methods Syst. Des., Vol. 19, No. 3. (November 2001), pp. 291-314.
|
| |
|
| |
|
| |
Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357.
|
| |
In DATE '06: Proceedings of the conference on Design, automation and test in Europe (2006), pp. 1228-1233.
posted to test by dwei98
on 2009-08-14 21:56:09
as
|
| |
Integrated Formal Methods (2009), pp. 352-366.
|
| |
|
| |
In In Proc. of the 8th International symposium on Artificial Intelligence, Robotics and Automation in Space (2005), pp. 5-8.
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21.
|
| |
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on (2005), pp. 18-23.
|
| |
International Journal on Software Tools for Technology Transfer, Vol. 1, No. 1-2. (1997), pp. 110-122.
|
| |
International Journal of Flexible Manufacturing Systems, Vol. 18, No. 3. (September 2006), pp. 191-208.
|
| |
Proceedings of the IEEE, Vol. 77, No. 1. (1989), pp. 81-98.
|
| |
Journal of Systems Architecture, Vol. 48, No. 1-3. (September 2002), pp. 17-35.
|
| |
Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1403-1415.
|
| |
Innovations in Systems and Software Engineering
|
| |
No. UM-CS-1998-035. (1998)
|
| |
|
| |
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International In Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International (2000), pp. 503-508.
posted to test by dwei98
on 2009-08-13 15:19:07
as
|
| |
System Synthesis, 2002. 15th International Symposium on In System Synthesis, 2002. 15th International Symposium on (2002), pp. 156-161.
posted to test by dwei98
on 2009-08-13 15:17:22
as
|
| |
Tests and Proofs (2008), pp. 1-3.
|
| |
|
Search
