Browsing by Author "Oliveira, Raquel"
Now showing items 1-1 of 1
-
State of the art on formal methods for interactive systems
Oliveira, Raquel; Palanque, Philippe; Weyers, Benjamin; Bowen, Judy; Dix, Alan (Springer, 2017)This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification ...
Co-authors for Raquel Oliveira
Raquel Oliveira has 4 co-authors in Research Commons.