Login / Signup

ABCD: A User-Friendly Language for Formal Modelling and Analysis.

Franck Pommereau
Published in: Petri Nets (2016)
Keyphrases
  • user friendly
  • highly interactive
  • software package
  • user interface
  • statistical analysis
  • graphical user interface