HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Bryan Widjaja

Publications
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Keyphrases

benchmark, falsification, Pacemaker, Simulink, testing.

Copyright © 2012-2025 easychair.org. All rights reserved.