Formal Modeling and Analysis With Humans in Infrastructures for IoT Health Care Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-58460-7_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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

Health Care Systems in Sweden and China: Legal and Formal Organisational Aspects

Health Research Policy and Systems
MedicineHealth Policy
2010English

Information Infrastructures Within European Health Care

Health Informatics
2017English

Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2015English

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

Component-Based Formal Modeling of PLC Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Advances in Infrastructures and Tools for Multiagent Systems

Information Systems Frontiers
Theoretical Computer ScienceComputer NetworksSoftwareInformation SystemsCommunications
2014English

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy