On the Application of Formal Techniques for Dependable Concurrent Systems

The pervasiveness of computer systems in virtually every aspect of daily life entails a growing dependence on them. These systems have become integral parts of our societies as we continue to use and rely on them on a daily basis. This trend of digitalization is set to carry on, bringing forth the q...

Full description

Bibliographic Details
Main Author: Saissi, Habib
Format: Others
Language:en
Published: 2019
Online Access:http://tuprints.ulb.tu-darmstadt.de/8600/1/dishs.pdf
Saissi, Habib <http://tuprints.ulb.tu-darmstadt.de/view/person/Saissi=3AHabib=3A=3A.html> : On the Application of Formal Techniques for Dependable Concurrent Systems. Technische Universität, Darmstadt [Ph.D. Thesis], (2019)