Compositional verification of real-time systems using extended Hoare triples

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationReal-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991)
EditorsJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of PublicationBerlin
PublisherSpringer
Pages252-290
ISBN (Print)3-540-55564-1
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
Volume600
ISSN (Print)0302-9743

Cite this