JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.
Eva CosciaGianna ReggioPublished in: FASE (1999)
Keyphrases
- concurrent systems
- formal specification
- temporal logic
- reactive systems
- model checking
- distributed systems
- process algebra
- visual languages
- petri net
- transition systems
- modal logic
- development environment
- programming language
- source code
- open source
- object oriented
- artificial intelligence
- reactive planning
- formal methods
- cross platform
- fine grained
- operating system
- database systems