Modelling and validation of tasks with algebraic structured nets
Buchs, Didier; Buffard, Christophe; Racloz, Pascal
1995

Files

Details

Title Modelling and validation of tasks with algebraic structured nets
Author(s) Buchs, Didier ; Buffard, Christophe ; Racloz, Pascal
Published in Ada in Europe
Editor(s)
Series Lecture Notes in Computer Science, 1031
Pages 284-297
Conference Ada-Europe Symposium, Frankfurt/Main, October 2–6, 1995
Date 1995
Publisher Berlin, Heidelberg, Springer
DOI 10.1007/BFb0015502
Laboratories LGL
Record Appears in Scientific production and competences > Archives > I&C - School of Computer and Communication Sciences > LGL - Software Engineering Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published

Actions