Teck Ping Khoo

According to our database1, Teck Ping Khoo authored at least 5 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Adaptive Model Verification for Modularized Industry 4.0 Applications.
IEEE Access, 2022

Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment.
Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

2020
Learning Fault Models of Cyber Physical Systems.
Proceedings of the Formal Methods and Software Engineering, 2020

2018
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System.
Proceedings of the Formal Methods and Software Engineering, 2018

Model Based Testing of Cyber-Physical Systems.
Proceedings of the Formal Methods and Software Engineering, 2018


  Loading...