Timed Abstract Non-interference

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_22 ◽

2005 ◽

pp. 289-303 ◽

Cited By ~ 7

Author(s):

Roberto Giacobazzi ◽

Isabella Mastroeni

Download Full-text