Communicating shared resources: a model for distributed real-time systems

Authors:
Richard Gerber
Affiliations:
Univ. of Pennsylvania, Philadelphia
Venue:
Communicating shared resources: a model for distributed real-time systems
Year:
1992

Citing 0
Cited 4

Guest A Layered Approach to Automating the Verification of Real-Time Systems

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems
Specification and analysis of real-time systems with PARAGON

Annals of Software Engineering
A Graphical Language for Specifying and Analyzing Real-Time Systems

Integrated Computer-Aided Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract