Model Checking Real Time Java Using Java PathFinder

Lecture Notes in Computer Science - Germany
doi 10.1007/11562948_33
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

From Java to Real-Time Java: A Model-Driven Methodology With Automated Toolchain (Invited Paper)

2019English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

High-Level Real-Time Programming in Java

2005English

Thread-Local Scope Caching for Real-Time Java

2009English

A Real Time Memory Manager for the Real Time Specification for Java

English

Byte Code Verification for Java Smart Cards Based on Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Hard Real-Time Implementation of Embedded Software in JAVA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Design and Performance of Real-Time Java Middleware

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2003English

A Java Processor Architecture for Embedded Real-Time Systems

Journal of Systems Architecture
HardwareArchitectureSoftware
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy