Kelvin Nilsen

发表

Issues in the Design and Implementation of Real-Time Java

Kelvin Nilsen, K. Nilsen, 1998 .

A Static Memory Safety Annotation System for Safety Critical Java

Jan Vitek, Ales Plsek, Kelvin Nilsen, 2011 .