Now showing items 1-9 of 9
Legacy assembler reengineering and migration.
Deriving enforcement mechanisms for policies
Run-time analysis of time-critical systems.
A compositional framework for hardware/software co-design
(Springer Verlag, 2002-01-01)
A compositional event and time-based policy model
Slicing as a program transformation.