A Test Language for CO-OPN Specifications.
Levi LucioLuis PedroDidier BuchsPublished in: IEEE International Workshop on Rapid System Prototyping (2005)
Keyphrases
- state machines
- specification language
- petri net
- discrete event
- operational semantics
- formal specification
- programming language
- test cases
- formal language
- language learning
- finite state machines
- state machine
- formal descriptions
- neural network
- test sequences
- modeling language
- regular expressions
- natural language
- high level
- learning algorithm