Sciweavers

ICECCS
1995
IEEE
80views Hardware» more  ICECCS 1995»

Ensuring the satisfaction of a temporal specification at run-time

15 years 5 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)