Structuring and Design of Reactive Systems Using RSDS and B

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46428-x_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Design and Synthesis of Reactive Separation Systems

1992English

A Structuring Mechanism for Embedded Control Systems Using Co-Modelling and Co-Simulation

2012English

Modules Program Structures and the Structuring of Operating Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1981English

Structuring Information Systems-In-Use

Journal of Global Information Management
Information SystemsBusinessInternational ManagementStrategyManagement ScienceComputer Science ApplicationsManagementE-learningOperations Research
2013English

Runtime Enforcement of Reactive Systems Using Synchronous Enforcers

2017English

Structuring of Business Rules in Information System Design and Architecture

Facta universitatis - series: Electronics and Energetics
2009English

Strategies for Structuring Diverse Emulsion Systems by Using Wood Lignocellulose-Derived Stabilizers

Green Chemistry
Environmental ChemistryPollution
2020English

Audio Structuring and Personalized Retrieval Using Ontologies

English

Evidence-Based Design: Structuring Patient- And Family-Centered ICU Care

AMA journal of ethics
Health PolicyEthicsHealthIssuesLegal Aspects
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy