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