Scaling Up With Event-B: A Case Study

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-20398-5_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Scaling-Up and Rooting-Down: A Case Study of North-South Partnerships for Health From Tanzania

Global Health Action
Health PolicyPublic HealthOccupational HealthEnvironmental
2012English

Scaling-Out and Scaling-Up Agroecology

Agroecology and Sustainable Food Systems
DevelopmentRenewable EnergyCrop ScienceSustainabilityAgronomythe Environment
2018English

Scaling Up Genomics

Nature Plants
2020English

Scaling Up Superoptimization

ACM SIGARCH Computer Architecture News
2016English

History: Scaling Up

Nature
Multidisciplinary
2011English

Scaling Up Entrepreneurship

London Business School Review
ManagementFinanceBusinessEconomicsInternational ManagementStrategyEconometrics
2019English

Effective Collaboration for Scaling Up Health Technologies: A Case Study of the Chlorhexidine for Umbilical Cord Care Experience

Global health, science and practice
Health PolicyPublic HealthOccupational HealthEnvironmental
2018English

A Severe Blizzard Event in Romania – A Case Study

Natural Hazards and Earth System Sciences
EarthPlanetary Sciences
2009English

Scaling Up Misoprostol to Prevent Postpartum Hemorrhage at Home Births in Mozambique: A Case Study Applying the ExpandNet/WHO Framework

Global health, science and practice
Health PolicyPublic HealthOccupational HealthEnvironmental
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy