These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

123 related articles for article (PubMed ID: 32927612)

  • 1. Formal Verification of Control Modules in Cyber-Physical Systems.
    Grobelna I
    Sensors (Basel); 2020 Sep; 20(18):. PubMed ID: 32927612
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
    Grobelna I; Szcześniak P
    Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Towards Semantic Integration of Machine Vision Systems to Aid Manufacturing Event Understanding.
    Xia K; Saidy C; Kirkpatrick M; Anumbe N; Sheth A; Harik R
    Sensors (Basel); 2021 Jun; 21(13):. PubMed ID: 34206522
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.
    Zyubin VE; Garanina NO; Anureev IS; Staroletov SM
    Sensors (Basel); 2023 Jul; 23(13):. PubMed ID: 37448067
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Formal verification of software-based medical devices considering medical guidelines.
    Daw Z; Cleaveland R; Vetter M
    Int J Comput Assist Radiol Surg; 2014 Jan; 9(1):145-53. PubMed ID: 23824830
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Authoring and verification of clinical guidelines: a model driven approach.
    Pérez B; Porres I
    J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Cyber-physical-based PAT (CPbPAT) framework for Pharma 4.0.
    Barenji RV; Akdag Y; Yet B; Oner L
    Int J Pharm; 2019 Aug; 567():118445. PubMed ID: 31226474
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
    Wisniewski R; Grobelna I; Karatkevich A
    Sensors (Basel); 2020 Sep; 20(19):. PubMed ID: 32998420
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems.
    Liu Y; Ma Y; Yang Y; Zheng T
    Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703
    [TBL] [Abstract][Full Text] [Related]  

  • 10. An Integrated Simulation Module for Cyber-Physical Automation Systems.
    Ferracuti F; Freddi A; Monteriù A; Prist M
    Sensors (Basel); 2016 May; 16(5):. PubMed ID: 27164109
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Data driven discovery of cyber physical systems.
    Yuan Y; Tang X; Zhou W; Pan W; Li X; Zhang HT; Ding H; Goncalves J
    Nat Commun; 2019 Oct; 10(1):4894. PubMed ID: 31653832
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A formal framework for modelling and validating medical systems.
    Eleftherakis G
    Stud Health Technol Inform; 2001; 84(Pt 1):13-7. PubMed ID: 11604697
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Understanding Data-Driven Cyber-Physical-Social System (D-CPSS) Using a 7C Framework in Social Manufacturing Context.
    Yin D; Ming X; Zhang X
    Sensors (Basel); 2020 Sep; 20(18):. PubMed ID: 32957551
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.
    Huang J; Zhu Y; Cheng B; Lin C; Chen J
    Sensors (Basel); 2016 Mar; 16(3):. PubMed ID: 26999141
    [TBL] [Abstract][Full Text] [Related]  

  • 15. A formal analysis method for composition protocol based on model checking.
    Xiao M; Zhao H; Yang K; Ouyang R; Song W
    Sci Rep; 2022 May; 12(1):8493. PubMed ID: 35595820
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Model-Driven Safety Analysis of Closed-Loop Medical Systems.
    Pajic M; Mangharam R; Sokolsky O; Arney D; Goldman J; Lee I
    IEEE Trans Industr Inform; 2012 Oct; ():. PubMed ID: 24177176
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems.
    El Hariri M; Faddel S; Mohammed O
    Sensors (Basel); 2018 Jul; 18(8):. PubMed ID: 30065218
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Temporal logics for phylogenetic analysis via model checking.
    Requeno JI; Casado Gde M; Blanco R; Colom JM
    IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Formal verification of human-automation interaction.
    Degani A; Heymann M
    Hum Factors; 2002; 44(1):28-43. PubMed ID: 12118871
    [TBL] [Abstract][Full Text] [Related]  

  • 20. A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems.
    Silva LC; Almeida HO; Perkusich A; Perkusich M
    Sensors (Basel); 2015 Oct; 15(11):27625-70. PubMed ID: 26528982
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.