Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andy Wellings
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
From Java to Real-Time Java: A Model-Driven Methodology With Automated Toolchain (Invited Paper)
Thread-Local Scope Caching for Real-Time Java