共 50 条
- [3] Formal Specification of the Framework for NSSA [J]. 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
- [4] SPECTRUM - A formal specification framework [J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 27 - 36
- [5] Towards a formal specification for the AgentComponent [J]. OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 175 - 188
- [6] A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2010, 86 (10): : 587 - 611
- [7] Towards a formal framework for reuse in business process modeling [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 484 - 495
- [9] A formal mathematical framework for modeling probabilistic hybrid systems [J]. Annals of Mathematics and Artificial Intelligence, 2006, 47 : 397 - 425