Login / Signup

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Bence GraicsVince MolnárAndrás VörösIstván MajzikDániel Varró
Published in: Softw. Syst. Model. (2020)
Keyphrases
  • reactive systems
  • formal methods
  • design process
  • case study
  • expert systems
  • temporal logic
  • user interface
  • building blocks
  • conceptual model
  • smart card
  • agent oriented