Incremental Object Oriented Implementation of Concurrent Systems based on Prototyping of Formal Specifications
1995
Files
Details
Title
Incremental Object Oriented Implementation of Concurrent Systems based on Prototyping of Formal Specifications
Author(s)
Buchs, Didier ; Hulaas, Jarle
Published in
SIPAR workshop, Biel, Switzerland, October 1995
Pages
141-145
Date
1995
Keywords
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20