[IEEE 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE) - Chengdu, China (2014.12.19-2014.12.21)] 2014 IEEE 17th International Conference on Computational Science and Engineering - Formal Specification and Transformation Method of System Requirements from B Method to AADL Model
- 作者Wu, Tingting; Dong, Yunwei; Hu, Ning
- 文件大小279.86KB
- 发表时间2014
- DOI10.1109/CSE.2014.299
- 页码1621-1628
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - Convergence refinementDemirbas, M.; Arora, A. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - Timestamping messages in synchronous computationsGarg, V.K.; Skawratananond, C. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems Workshops - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems Workshops - Personal Web SpaceYangjun Chen, ; Liu, T.; Sorenson, P. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - Universal interaction with networked home appliancesNakajima, T.; Hasegawa, A. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - Dining philosophers that tolerate malicious crashesNesterenko, M.; Arora, A. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - From total order to database replicationAmir, Y.; Tutu, C. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems - The totem redundant ring protocolKoch, R.R.; Moser, L.E.; Melliar-Smith, P.M. · 2002
[IEEE Comput. Soc 22nd International Conference on Distributed Computing Systems Workshops - Vienna, Austria (2-5 July 2002)] Proceedings 22nd International Conference on Distributed Computing Systems Workshops - Trust-aware cooperationDespotovic, Z.; Aberer, K.; Hauswirth, M. · 2002