共 50 条
- [41] Emergent and hierarchical systems - Overview [J]. TOWARD A SCIENCE OF CONSCIOUSNESS II: SECOND TUCSON DISCUSSIONS AND DEBATES, 1998, : 573 - 575
- [43] Growing systems in emergent organizations [J]. COMMUNICATIONS OF THE ACM, 1999, 42 (08) : 117 - 123
- [44] Verification of NASA emergent systems [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 231 - 238
- [46] Saturated semantics for reactive systems [J]. 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 69 - +
- [48] Coalgebraic semantics for component systems [J]. ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 245 - 261
- [49] Network Semantics of Dynamical Systems [J]. 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 1557 - 1562
- [50] Operational semantics of hybrid systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 25 - 53