Cargando…
Formal Modeling and Analysis of Medical Systems
Medical systems are composed of medical devices and apps which are developed independently by different vendors. A set of communication patterns, based on asynchronous message-passing, has been proposed to loosely integrate medical devices and apps. These patterns guarantee the point-to-point qualit...
Autores principales: | Zarneshan, Mahsa, Ghassemi, Fatemeh, Sirjani, Marjan |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7282838/ http://dx.doi.org/10.1007/978-3-030-50029-0_24 |
Ejemplares similares
-
Principles of modeling: essays dedicated to Edward A. Lee on the occasion of his 60th birthday
por: Lohstroh, Marten, et al.
Publicado: (2018) -
Compositional schedulability analysis of real-time actor-based systems
por: Jaghoori, Mohammad Mahdi, et al.
Publicado: (2016) -
Fundamentals of software engineering: 6th international conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 revised selected papers
por: Dastani, Mehdi, et al.
Publicado: (2015) -
Modeling formalisms in Systems Biology
por: Machado, Daniel, et al.
Publicado: (2011) -
Computational Modeling, Formal Analysis, and Tools for Systems Biology
por: Bartocci, Ezio, et al.
Publicado: (2016)