Haku
Viitteet 1-1 / 1
Formal development and quantitative verification of dependable systems
(Turku Centre for Computer Science (TUCS), 2013-01-28)
Modern software-intensive systems are becoming increasingly complex. Yet
we are observing the pervasive use of software in such critical infrastructures
as transportation systems, healthcare, telecommunication, energy ...