Collaborated with:
M.G.Hill
Talks about:
interfer (1) analysi (1) system (1) critic (1) avion (1) code (1) non (1) mix (1)
Person: Thomas W. Lake
DBLP: Lake:Thomas_W=
Contributed to:
Wrote 1 papers:
- ASE-2000-HillL #analysis
- Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.