116
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...