Ken Chan

Formal analysis of concurrent real-time requirements models

Clive Fencott, Ken Chan, C. Fencott, 1996, FME 1996.

Short-Term vs. Long-Term Spacecraft Encounters

Ken Chan, 2004 .

International Space Station Collision Probability

Ken Chan, 2013 .