Modelling and validation of tasks with algebraic structured nets
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
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
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20