Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience - United Kingdom
doi 10.1002/cpe.713
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

English

Specification of the Javacard API in JML

2000English

Modular Specification of Process Algebras

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1993English

Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Modular Reasoning for Actor Specification Diagrams

1999English

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Averaged Model of Modular Multilevel Converter in Rotating DQ Frame

2016English

Modular Supervisory Control With General Indecomposable Specification Languages

English

Modular High Frame Rate Detector for Synchrotron Applications

Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
High Energy PhysicsInstrumentationNuclear
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy