Viitteet 1-1 / 1
Model-driven development and verification of fault tolerant systems
(Turku Centre for Computer Science (TUCS), 2017-05-24)
Dependability is an ability of a computer-based system to deliver services that can be justifiably trusted. There is a wide range of computer-based systems that provide services that are critical for our society, e.g., ...