Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alvaro Miyazawa
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
Related publications
Safety-Critical Java on a Java Processor
Specification and Refinement in General Correctness
Refinement of Parallel and Reactive Programs
NATO ASI Series
Consistency and Refinement for Partial Specification in Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Theory of Community Based Health and Safety Programs: A Critical Examination
Injury Prevention
Environmental
Public Health
Occupational Health
Java Based Object Oriented Hardware Specification and Synthesis
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Time Critical Isosurface Refinement and Smoothing
XCorpus – An Executable Corpus of Java Programs.
Journal of Object Technology
Software
