- I
- ICECCS
- 2004
- Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04)
| | This Publication | | | | | | | |
| | | | Bibliographic References | | | |
| | | | |
Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04) Florence, Italy April 14-April 16 ISBN: 0-7695-2109-6 Table of Contents
 | Introduction |
 | Keynote Address |
 | Panel |
 | Session: Security |
 | Session: Networks |
 | Session: Validation |
Visakan Kadirkamanathan, University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering
Haydn Thompson, University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering
Peter Fleming, University of Sheffield and Rolls-Royce University Technology Centre in Control and Systems Engineering pp. 59-65
 | Session: Formal Specification |
 | Session: Tools |
 | Session: Managing Complexity |
 | Session: Case Studies |
Tao Cheng, Huazhong University of Science and Technology
Zailin Guan, Huazhong University of Science and Technology
Liming Liu, Hong Kong University of Science and Technology
Bo Wu, Huazhong University of Science and Technology
Shuzi Yang, Huazhong University of Science and Technology pp. 191-198
P. Nesi, Universit? degli Studi di Firenze pp. 213-222
 | Session: Burning Problems |
 | Author Index | Usage of this product signifies your acceptance of the Terms of Use.
| | | | | | | |