Bryan Widjaja

According to our database, Bryan Widjaja authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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, Claudio Menghi

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022