: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.01.002
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Elsevier BV

Related search

Safety-Critical Java on a Java Processor

2012English

Specification and Refinement in General Correctness

1998English

Refinement of Parallel and Reactive Programs

NATO ASI Series
1993English

Consistency and Refinement for Partial Specification in Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

The Theory of Community Based Health and Safety Programs: A Critical Examination

Injury Prevention
EnvironmentalPublic HealthOccupational Health
2006English

Java Based Object Oriented Hardware Specification and Synthesis

English

Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2015English

Time Critical Isosurface Refinement and Smoothing

2000English

XCorpus – An Executable Corpus of Java Programs.

Journal of Object Technology
Software
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy