Computational Algorithms

Sort options

Quantitative Model Checking (Coursera)

Oct 11th 2021
Quantitative Model Checking (Coursera)
Course Auditing
Categories
Effort
Languages
The integration of ICT (information and communications technology) in different applications is rapidly increasing in e.g. Embedded and Cyber physical systems, Communication protocols and Transportation systems. Hence, their reliability and dependability increasingly depends on software. Defects can be fatal and extremely costly (with regards to mass-production of products and [...]
1
Average: 1 ( 4 votes )