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...
Main Author: | |
---|---|
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) |