Author Results for Olderog, Ernst-R diger,

Olderog,E.-R
SpringerLink (Online service)
Damm,Werner
Dierks,Henning
Ernst-Rüdiger Olderog and Henning Dierks
see all »
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
FTRTFT 2002,Oldenburg, Germany
International Conference on Integrated Formal Methods,Turku, Finland)
Steffen,Bernhard

1
Real-time systems formal specification and automatic verification

Cover is for reference only
Main Authors: Olderog E.-R
Group Author: Dierks Henning
Published: Cambridge University Press,
Publication Dates: 2008.
Call Number: TP303/O447
Book
Save to List
Saved in:
3
Correct system design recent insights and advances

Cover is for reference only
Group Author: Steffen Bernhard; Olderog E.-R
Published: Springer,
Publication Dates: 1999.
Call Number: TP302.1/C824
Book
Save to List
Saved in:
4
Provably Correct Systems /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Hinchey, Mike (Editor); Bowen, Jonathan P (Editor); Olderog, Ernst-R diger (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —