Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter C. Mehlitz
Model Checking Real Time Java Using Java PathFinder
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
From Java to Real-Time Java: A Model-Driven Methodology With Automated Toolchain (Invited Paper)
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
High-Level Real-Time Programming in Java
Thread-Local Scope Caching for Real-Time Java
A Real Time Memory Manager for the Real Time Specification for Java
Byte Code Verification for Java Smart Cards Based on Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hard Real-Time Implementation of Embedded Software in JAVA
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Design and Performance of Real-Time Java Middleware
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
A Java Processor Architecture for Embedded Real-Time Systems
Journal of Systems Architecture
Hardware
Architecture
Software
