CORR
2004
Springer
13 years 4 months ago
2004
Springer
In the paper we de
EMSOFT
2006
Springer
13 years 8 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...