Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
Valeriy VyatkinHans-Michael HanischSirko KarrasThomas PfeifferVictor DubininPublished in: Int. J. Manuf. Res. (2006)
Keyphrases
- engineering design
- formal methods
- artificial intelligence
- d objects
- formal analysis
- computer science
- formal model
- software engineering
- model checking
- multiple objects
- data objects
- moving objects
- image segmentation
- learning algorithm
- video sequences
- face recognition
- object level
- face verification
- case study
- formal verification