Compositional verification of real-time systems using extended Hoare triples

J.J.M. Hooman

doi:10.1007/BFb0031996

Compositional verification of real-time systems using extended Hoare triples

J.J.M. Hooman

Algorithms, Geometry and Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)
Editors	J.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of Publication	Berlin
Publisher	Springer
Pages	252-290
ISBN (Print)	3-540-55564-1
DOIs	https://doi.org/10.1007/BFb0031996
Publication status	Published - 1992

Publication series

Name	Lecture Notes in Computer Science
Volume	600
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0031996

Cite this

@inproceedings{a7185b9477c94423a2de520b7ec35b6e,

title = "Compositional verification of real-time systems using extended Hoare triples",

author = "J.J.M. Hooman",

year = "1992",

doi = "10.1007/BFb0031996",

language = "English",

isbn = "3-540-55564-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "252--290",

editor = "{Bakker, de}, J.W. and {Roever, de}, W.P. and G. Rozenberg",

booktitle = "Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)",

address = "Germany",

}

Compositional verification of real-time systems using extended Hoare triples. / Hooman, J.J.M.

Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991). ed. / J.W. Bakker, de; W.P. Roever, de; G. Rozenberg. Berlin : Springer, 1992. p. 252-290 (Lecture Notes in Computer Science; Vol. 600).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositional verification of real-time systems using extended Hoare triples

AU - Hooman, J.J.M.

PY - 1992

Y1 - 1992

U2 - 10.1007/BFb0031996

DO - 10.1007/BFb0031996

M3 - Conference contribution

SN - 3-540-55564-1

T3 - Lecture Notes in Computer Science

SP - 252

EP - 290

BT - Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)

A2 - Bakker, de, J.W.

A2 - Roever, de, W.P.

A2 - Rozenberg, G.

PB - Springer

CY - Berlin

ER -