Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- model checking
- petri net
- software development
- software systems
- software architecture
- formal specification
- software tools
- data mining
- transition systems
- software application
- software design
- embedded systems
- computer systems
- neural network
- software maintenance
- information systems
- commercial software
- software platform
- artificial intelligence
- real time