Verification, refinement and scheduling of real-time programs

Authors:
Zhiming Liu;Mathai Joseph
Affiliations:
Univ. of Leicester, Leicester, U.K.;Tata Research Development & Design Centre, Pune, India
Venue:
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Year:
2001

An Abstract Model for Scheduling Real-Time Programs

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Schedulability analysis of fixed-priority systems using timed automata

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Applying Unifying Theories Of Programming To Real-Time Programming

Journal of Integrated Design & Process Science - Applications of formal methods
Computing platforms

Embedded Systems Design

Hi-index	0.00