Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Specification and Compositional Verification of Real-Time Systems
Home
Publications
Specification and Compositional Verification of Real-Time Systems
Specification and Compositional Verification of Real-Time Systems
JH
Jozef Hooman
Jozef Hooman
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1991
book
Published by
Springer Nature
https://doi.org/10.1007/3-540-54947-1
Abstract
No abstract available
Keywords
FORMAL SPECIFICATION
LOGIC
MODELING
PROGRAMMING
PROGRAMMING LANGUAGE
REAL-TIME
SEMANTICS
SYSTEM
VERIFICATION
Cited
Cited by 79 articles
Scroll to top