A model-based development approach for the verification of real-time Java code.

Sat, 01 Jan 2011 00:00:00 +0100

Niusha Hakimipour, Paul A. Strooper , Andy J. Wellings:
A model-based development approach for the verification of real-time Java code. Concurr. Comput. Pract. Exp. 23(13): 1583-1606 (2011)