The Guided System Development Framework: Modeling and Verifying Communication Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-45231-8_42
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Computer Journal
Computer Science
2016English

Secure Communication Modeling for Microgrid Energy Management System: Development and Application

Energies
ControlElectronic EngineeringEnergy EngineeringRenewable EnergyEnergyFuel TechnologySustainabilityOptimizationElectricalPower Technologythe Environment
2019English

A Framework for System-Level Modeling and Simulation of Embedded Systems Architectures

Eurasip Journal on Embedded Systems
ControlSystems EngineeringComputer Science
2007English

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Verifying Deadlock-Freedom of Communication Fabrics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verifying Theoretical Concepts of Performance Management Framework

Journal of Social Sciences Research
ArtsFinanceHumanitiesEconomicsEconometricsSocial Sciences
2018English

Modeling the Framework for Obstetrics Gynecology Department Information Systems

European Journal for Biomedical Informatics
2012English

A Modeling and Simulation Framework for Health Care Systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems
ControlSystems EngineeringInformation SystemsHuman-Computer InteractionElectronic EngineeringComputer Science ApplicationsElectricalSoftware
2014English

A Framework for Event Correlation in Communication Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy