共 50 条
- [43] UML Models Engineering from Static and Dynamic Aspects of Formal Specifications ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2009, 29 : 237 - 250
- [44] Computational Issues in Modeling Ion Transport in Biological Channels: Self-Consistent Particle-Based Simulations Journal of Computational Electronics, 2003, 2 : 239 - 243
- [46] Verification of Models in Agent Based Computational Economics - Lessons from Software Engineering PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2013, 2013, 158 : 185 - 199
- [49] ION PERMEATION, DIVALENT ION BLOCK AND CHEMICAL MODIFICATION OF SINGLE NA CHANNELS - DESCRIPTION BY SINGLE- AND DOUBLE-OCCUPANCY RATE-THEORY MODELS FASEB JOURNAL, 1992, 6 (01): : A270 - A270