A Formal Specification Framework for Object-Oriented Distributed Systems
2000
Details
Title
A Formal Specification Framework for Object-Oriented Distributed Systems
Author(s)
Buchs, Didier ; Guelfi, Nicolas
Published in
IEEE Transactions on Software Engineering
Volume
26
Issue
7
Pages
635-652
Date
2000
Keywords
Other identifier(s)
DAR: 2436
View record in Web of Science
View record in Web of Science
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2005-09-20