Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
High-Integrity System Specification and Design
Home
Publications
High-Integrity System Specification and Design
High-Integrity System Specification and Design
Jonathan P. Bowen
Jonathan P. Bowen
MH
Michael G. Hinchey
Michael G. Hinchey
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1999
book
Published by
Springer Nature
https://doi.org/10.1007/978-1-4471-3431-2
Abstract
No abstract available
Keywords
COMMUNICATION
CONCURRENCY
DESIGN
DEVELOPMENT
DISTRIBUTED SYSTEMS
FORMAL METHODS
FORMAL SPECIFICATION
LANGUAGE
OPERATING SYSTEM
SAFETY-CRITICAL SYSTEM
SIMULATION
SOFTWARE ENGINEERING
SYSTEM
SYSTEM DEVELOPMENT
SYSTEM SPECIFICATION
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top