Sciweavers

55
Voted
ICSE
2010
IEEE-ACM
15 years 1 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis