Assertional specification and verification

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

no abstract.
Original languageEnglish
Title of host publicationReal-time Systems: Specification and Analysis
EditorsM. Joseph
PublisherPrentice-Hall
Pages97-146
ISBN (Print)0-13-455297-0
Publication statusPublished - 1996

Cite this