共 50 条
- [42] Modeling the Interdiffusion and Reactive-Diffusion Processes in Multicomponent Systems Metallurgical and Materials Transactions B, 2008, 39 : 629 - 638
- [43] Generic reactive animation: Realistic modeling of complex natural systems FORMAL METHODS IN SYSTEMS BIOLOGY, 2008, 5054 : 1 - 16
- [44] Heterogeneous reactive systems modeling and correct-by-construction deployment EMBEDDED SOFTWARE, PROCEEDINGS, 2003, 2855 : 35 - 50
- [45] Modeling the interdiffusion and reactive-diffusion processes in multicomponent systems METALLURGICAL AND MATERIALS TRANSACTIONS B-PROCESS METALLURGY AND MATERIALS PROCESSING SCIENCE, 2008, 39 (04): : 629 - 638
- [48] On the Modeling of Sequential Reactive Systems by Means of Real Time Automata Automatic Control and Computer Sciences, 2021, 55 : 751 - 762
- [50] Modeling and Verifying Real-time Properties of Reactive Systems 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 14 - 23