Synthesis of Embedded Software for
Reactive Systems
R. Clarisó, J. Cortadella, A. Kondratyev, L. Lavagno, C.
Passerone and Y. Watanabe
full paper in pdf,
ps.gz
Agentification for Production Systems
A. Ritter, W. Baum, M.Höpf and E. Westkämper
full paper in pdf
Relations in object-oriented analysis
S. Arabestani
full paper in pdf
A comparison of sequential function charts
and statecharts and an approach towards integration
N. Bauer and S. Engell
full paper in pdf,
ps.gz
Requirements on methods and techniques
in perspective to approval process for railway systems
F. Bitsch
full paper in pdf
A railway demonstrator model for experimental
investigation of integrated specification techniques
S. Einer, H. Schrom, R. Slovák and E. Schnieder
full paper in pdf
Software specification of automated production
plants in the early development stages
J. Gausemeier and T. Molt
full paper in pdf
Integrating verification in a design
process for distributed production control systems
H. Giese, M. Kardos and U. Nickel
full paper in pdf
A Petri net based approach to the development
of correct logic controllers
S. Klein, G. Frey and L. Litz
full paper in pdf
Relating LSC Specifications to UML models
J. Klose and B. Westphal
full paper in pdf,
ps.gz
Petri nets as a semantic model for message
sequence chart specifications
O. Kluge
full paper in pdf,
ps.gz
Interactive verification of statecharts
A. Thums and M. Balser
full paper in pdf,
ps.gz