[IEEE 2016 International Conference on Instrumentation, Control and Automation (ICA) - Bandung, Indonesia (2016.8.29-2016.8.31)] 2016 International Conference on Instrumentation, Control and Automation (ICA) - Semantic on PROMELA dynamic process creation in concurrent systems
- 作者Huda, Sheila Nurul
- 文件大小561.78KB
- 发表时间2016
- DOI10.1109/ICA.2016.7811473
- 页码44-47
[IEEE 2016 XXII International Conference on Electrical Machines (ICEM) - Lausanne, Switzerland (2016.9.4-2016.9.7)] 2016 XXII International Conference on Electrical Machines (ICEM) - Electrical drives2016
[IEEE 2016 XXII International Conference on Electrical Machines (ICEM) - Lausanne, Switzerland (2016.9.4-2016.9.7)] 2016 XXII International Conference on Electrical Machines (ICEM) - Rotating electrical machines2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - General chairs2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Plenary session2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Presentation instructions2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - [Front cover]2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - [Copyright notice]2016
[IEEE 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Florence, Italy (2016.6.7-2016.6.10)] 2016 IEEE 16th International Conference on Environment and Electrical Engineering (EEEIC) - Power collection system for electrical vehiclesPlesca, Adrian; Dumitrescu, Catalin; Calistru, Catalin Nicolae · 2016