Modelling differential equations by basic information technology means

This publication has 4 references indexed in Scilit:

• A formal model for coupling computer based system and physical systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Real-time software specification and validation with Transnet
  Real-Time Systems, 1994
• A Short Description of a Model Compiler/Interpreter for Supporting Simulation and Optimization of Nonlinear and Linearized Dynamic Systems
  IFAC Proceedings Volumes, 1991
• Predicate/Transition Nets
  Published by Springer Nature ,1987