The SEA Language for system engineering and animation

This publication has 9 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
• Complete visualizations of concurrent programs and their executions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modelling differential equations by basic information technology means
  Published by Springer Nature ,1996
• A Short Description of a Model Compiler/Interpreter for Supporting Simulation and Optimization of Nonlinear and Linearized Dynamic Systems
  IFAC Proceedings Volumes, 1991
• Analyse von Petri-Netz-Modellen
  Published by Springer Nature ,1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Structured nets
  Lecture Notes in Computer Science, 1981
• Nassi-Shneiderman charts an alternative to flowcharts for design
  Published by Association for Computing Machinery (ACM) ,1978