Sign in

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.

Saddek BensalemLavindra de SilvaAndreas GriesmayerFélix IngrandAxel LegayRongjie Yan
Published in: SC@TOOLS (2011)
Keyphrases