142
click to vote
BIRTHDAY
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...