toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. Model Based Synthesis of Control Software from System Level Formal Specifications. Vol. abs/1107.5638. CoRR, Technical Report, 2013. http://arxiv.org/abs/1107.5638 (accessed October 14, 2024).
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print