-
Semantics-Based Testing for Circus
The work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more... -
Using Larch to specify the Behavior of Objects in Open Distributed Environments
Colloque avec actes et comité de lecture.
