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.