A. K. Mok

Engineering CASE tools to support formal methods for real-time software development

Constance L. Heitmeyer, B. G. Labaw, P. C. Clements, 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

A verifier for distributed real-time systems with bounded integer variables

Farn Wang, A. K. Mok, A. Mok, 1993, COMPASS '93: Proceedings of the Eighth Annual Conference on Computer.

Applying formal methods to an embedded real-time avionics system

Constance L. Heitmeyer, B. G. Labaw, P. C. Clements, 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.