Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Fé Ingrand, Axel Legay, Rongjie Yan. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. In Software Composition,, Volume, Pages 116-132, 2011.
Axel Legay http://www.irisa.fr/distribcom
@InProceedings{SOCO11,
Author = {Bensalem, Saddek and de Silva, Lavindra and Griesmayer, Andreas and Ingrand, Fé and Legay, Axel and Yan, Rongjie},
Title = {A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems},
BookTitle = {Software Composition},
Volume = {},
Pages = {116--132},
Series = {},
Publisher = {},
Year = {2011}
}
Get EndNote Reference (.ref)