Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Home
Publications
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Editor:
RK
Ron Koymans
Ron Koymans
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Publisher website
Google Scholar
1 January 1992
book
Published by
Springer Nature
DOI:
10.1007/3-540-56283-4
Abstract
No abstract available
Keywords
FORMAL SPECIFICATION
FORMALE SPEZIFIKATION
MESSAGE PASSING
REAL-TIME SYSTEMS
SAGE
TEMPORAL LOGIC
TEMPORALE LOGIK
TIME-CRITICAL SYSTEMS
ZEITSENSITIVE SYSTEME
COMPUTER
DISTRIBUTED SYSTEMS
LOGIC
REAL-TIME
Cited
Cited by 58 articles
Scroll to top