Infoscience

Thesis

Modelling and testing object-oriented communication services with temporal logic

    Thèse École polytechnique fédérale de Lausanne EPFL, n° 2141 (2000)
    Faculté informatique et communications
    Institut de systèmes de communication
    Laboratoire pour les communications informatiques et leurs applications 1
    Jury: Pierre-Alain Etique, Thierry Labbé, André Schiper, Alain Wegmann

    Public defense: 2000-3-24

    Reference

    Record created on 2005-03-16, modified on 2016-08-08

Fulltext

Related material