Autor der Publikation

Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.

, , , , , und . IECON, Seite 2645-2651. IEEE, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Coloured Petri nets for abstract test generation in software engineering., , , , , , und . Softw. Test. Verification Reliab., (März 2023)A methodology for modeling and simulation of biomedical signal acquisition devices., , , , , und . HealthCom, Seite 227-231. IEEE, (2015)Formal modelling and verification of a component model using coloured petri nets and model checking., , und . SAC, Seite 1427-1431. ACM, (2007)A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets., und . Component-Based Software Development for Embedded Systems, Volume 3778 von Lecture Notes in Computer Science, Springer, (2005)Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study., , , , , und . EMBC, Seite 2488-2491. IEEE, (2016)Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks., , , , , und . ICCE, Seite 1-4. IEEE, (2024)Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device., , , , , und . IECON, Seite 2645-2651. IEEE, (2014)A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets., , , und . SELMAS, Volume 3390 von Lecture Notes in Computer Science, Seite 162-179. Springer, (2004)A model to discipline autonomy in cyber-physical systems-of-systems and its application., , und . J. Softw. Evol. Process., (2021)Ticc: A Tool for Interface Compatibility and Composition., , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)