A domain specific language and methodology for control systems GUI specification, verification and prototyping.
Matteo RisoldiDidier BuchsPublished in: VL/HCC (2007)
Keyphrases
- control system
- formal verification
- formal methods
- graphical user interface
- asynchronous circuits
- user friendly
- development process
- formal specification
- protocol specification
- design methodology
- multi agent systems
- artificial intelligence
- statistical methods
- design process
- software engineering
- verification method
- concurrent systems
- high level