共 50 条
- [31] Introduction to the minitrack: Computer-mediated inter-organizational systems PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL IV: INTERNET AND THE DIGITAL ECONOMY TRACT, 1998, : 72 - 72
- [33] Introduction to the HICSS-53 software development for mobile devices, the internet-of-things, and cyber-physical systems MiniTrack Proceedings of the Annual Hawaii International Conference on System Sciences, 2020, 2020-January : 6629 - 6630
- [34] Introduction to Tensions, Emergence, and Generative Mechanisms in Complex Systems and Platforms Minitrack 2014 47TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2014, : 4515 - 4515
- [35] Introduction to the HICSS-54 software development for mobile devices, the internet-of-things, and cyber-physical systems minitrack 1600, IEEE Computer Society (2020-January): : 7195 - 7196
- [36] Formal methods for engineering special-purpose parallel systems introduction to minitrack Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003, 2003,
- [37] Rigorous Engineering of Collective Adaptive Systems Track Introduction LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 535 - 538
- [38] The engineering of complex distributed computer systems IEEE CONCURRENCY, 1997, 5 (04): : 30 - 31