An integrated framework of formal methods for interaction behaviors among industrial equipments.
Pan DengGang RenWei YuanFeng ChenQingsong HuaPublished in: Microprocess. Microsystems (2015)
Keyphrases
- formal methods
- knowledge based systems
- formal analysis
- artificial intelligence
- safety critical
- model checker
- provably correct
- social behavior
- temporal properties
- model checking
- formal specification
- behavioral model
- software engineering
- industrial applications
- turn taking
- process algebra
- user interaction
- development lifecycle
- face to face interactions
- reactive systems
- security properties
- development process
- human computer interaction
- knowledge representation
- data model
- case study