110
click to vote
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...