Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- formal specification
- safety critical
- model checker
- model checking
- artificial intelligence
- e learning
- information and communication technologies
- temporal properties
- process algebra
- provably correct
- reactive systems
- higher education
- formal specification language
- mobile learning
- development lifecycle
- data mining
- modeling language
- distance learning
- software engineering
- educational technology
- security properties
- serious games
- distributed systems
- open source
- relational databases
- multi agent
- databases