Evaluating the expressive power of the real-time specification for Java

DOI10.1023/A:1022816701710zbMath1020.68018OpenAlexW1522587895MaRDI QIDQ1870177

Andrew J. Wellings, Peter Puschner

Publication date: 11 May 2003

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022816701710

zbMATH Keywords

real-time Javaconcurrent object-oriented real-time programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Scoped types and aspects for real-time Java memory management

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Evaluating the expressive power of the real-time specification for Java