Modelling and testing object-oriented communication services with temporal logic
2000
Files
Details
Title
Modelling and testing object-oriented communication services with temporal logic
Author(s)
Dietrich, Falk
Advisor(s)
Pagination
195
Date
2000
Publisher
Lausanne, EPFL
Language
English
Laboratories
LDS
Record Appears in
Scientific production and competences > EPFL Theses
Work produced at EPFL
Published
Theses
Work produced at EPFL
Published
Theses
Record creation date
2005-03-16