Cost enforcement in the real-time specification for Java
From MaRDI portal
Publication:2460195
DOI10.1007/s11241-007-9031-4zbMath1125.68025MaRDI QIDQ2460195
Osmar Marchi Dos Santos, Andy Wellings
Publication date: 14 November 2007
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-007-9031-4
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work