UseCase-Wise Development: Retrenchment for Event-B

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-87603-8_14
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Decomposition Structures for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Flow Analysis for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Retrenchment at JESSI

Nature
Multidisciplinary
1991English

Formal Development of Basic Timestamp Concurrency Control Mechanism Using Event-B

International Journal of Computer Applications
2015English

A Luminous Transient Event in a Sample of WISE-selected Variable AGNs

Astrophysical Journal
AstrophysicsAstronomyPlanetary ScienceSpace
2018English

Guidelines for Formal Domain Modeling in Event-B

2011English

Welfare-State Retrenchment: The Partisan Effect Revisited

Oxford Review of Economic Policy
ManagementMonitoringEconomicsPolicyLawEconometrics
2006English

Hemodialysis Machine in Hybrid Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Retrenchment: Extending Refinement for Continuous and Control Systems

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy