[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Verification of Replication Architectures in AADL
- 作者Niz, Dionisio de; Feiler, Peter H.
- 文件大小168.55KB
- 发表时间2009
- DOI10.1109/iceccs.2009.18
- 页码365-370
[IEEE Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Baltimore, MD, USA (1994.11.3-1994.11.6)] Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society1994
[IEEE Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Baltimore, MD, USA (1994.11.3-1994.11.6)] Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - Proceedings of 16th Annual International Conference of the IEEE Engineering in Medicine and Biology Society1994
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Foreword2009
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Steering Committee2009
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Copyright Page2009
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Additional Reviewers2009
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Program Committee2009
[IEEE 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - San Francisco, California, USA (2009.04.14-2009.04.16)] 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems - Organizing Committee2009