A Methodology for Compilation of High-Integrity Real-Time Programs

Authors:
Karl Lermer;Colin J. Fidge
Affiliations:
-;-
Venue:
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Year:
1997

Citing 0
Cited 3

A formal model of real-time program compilation

Theoretical Computer Science
A Formal Model of Real-Time Program Compilation

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A theory for execution-time derivation in real-time programs

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)

Quantified Score

Hi-index	0.00

Visualization

Abstract