An Interval-Based Temporal Logic

Authors:
Richard L. Schwartz;P. M. Melliar-Smith;Friedrich H. Vogt
Affiliations:
-;-;-
Venue:
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Year:
1983

Citing 0
Cited 5

A model parametric real-time logic

ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting Unsafe Error Recovery Schedules

IEEE Transactions on Software Engineering
A graphical environment for the design of concurrent real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
RT-CDL: A distributed real-time design language and its operational semantics

Computer Languages
Axiomatizations Of Interval Logics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract