Towards CPS Verification Engineering.
Andreas MüllerStefan MitschWerner RetschitzeggerWieland SchwingerPublished in: iiWAS (2020)
Keyphrases
- engineering design
- model checking
- computer science
- engineering students
- software engineering
- real time
- formal methods
- data sets
- electrical engineering
- engineering problems
- engineering education
- formal verification
- face verification
- expert systems
- image sequences
- artificial intelligence
- hidden markov models
- formal analysis
- information technology
- multi agent systems
- mechanical engineering