CORR
2004
Springer
13 years 11 months ago
2004
Springer
In the paper we de
EMSOFT
2006
Springer
14 years 3 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...