Hemodialysis Machine in Hybrid Event-B

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-33600-8_32
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Hemodialysis Hepatitis B Outbreaks

Infection Control and Hospital Epidemiology
EpidemiologyInfectious DiseasesMicrobiology
1996English

Hepatitis B Virus (HBV) Variants in Hemodialysis Patients

2011English

Decomposition Structures for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

SAGE: A Hybrid Geopolitical Event Forecasting System

2019English

Towards Hybrid Human-Machine Translation Services

EasyChair Preprints
2018English

Guidelines for Formal Domain Modeling in Event-B

2011English

Automatic Flow Analysis for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Hybrid Machine Learning Techniques Applied in Real Engineering Applications

2019English

Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML

Proceedings of the VLDB Endowment
Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy