Contributions to formalisms for the specification and verification of quantitative properties
Reactive systems are computer systems that maintain continuous interaction with the environment in which they operate. Such systems are nowadays part of our daily life: think about common yet critical applications like engine control units in automotive, aircraft autopilots, medical aided- devices,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | en |
| Published: |
Universite Libre de Bruxelles
2020
|
| Subjects: | |
| Online Access: | https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/3/TableOfContents.pdf https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/4/MazzocchiPhD.pdf https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/5/ContratDiMazzocchi.pdf http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/313199 |