Sciweavers

ICECCS
1995
IEEE

Ensuring the satisfaction of a temporal specification at run-time

13 years 8 months ago
Ensuring the satisfaction of a temporal specification at run-time
Grace Tsai, M. Insall, Bruce M. McMillin
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICECCS
Authors Grace Tsai, M. Insall, Bruce M. McMillin
Comments (0)