Merkliste 
 1 Ergebnisse 
 
1

A refinement theory for timed-dataflow analysis with suppor..:

, In: Proceedings of the 13th International Conference on Embedded Software,