共 50 条
- [3] A visual interactive framework for formal derivation COMPUTATIONAL SCIENCE - ICCS 2005, PT 1, PROCEEDINGS, 2005, 3514 : 1019 - 1026
- [5] A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems 2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 150 - 159
- [7] Toward a framework for conceptual and formal outlines of programs PROCEEDINGS OF THE FOURTH WORKING CONFERENCE ON REVERSE ENGINEERING, 1997, : 226 - 235
- [10] Toward a Formal Semantic Framework for Deterministic Parallel Programming DISTRIBUTED COMPUTING, 2011, 6950 : 460 - 474