Modal Formulas

Sort options

System Validation (3): Requirements by modal formulas (Coursera)

Nov 1st 2021
System Validation (3): Requirements by modal formulas (Coursera)
Course Auditing
Categories
Effort
Languages
System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The [...]
0
No votes yet