1
Published 1999
Springer Berlin Heidelberg
Subjects: ...Software engineering...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation...

3
Published 1998
Springer Berlin Heidelberg
Subjects: ...Software engineering...

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based...

5
Published 1987
Springer Berlin Heidelberg
... software engineering, data base and in­ formation systems, computer architecture and operating systems...