Integrating Formal Techniques into Eclipse Platform.

Jiang Guo Raj Pamula

Published in: SNPD (2004)

Keyphrases

open source
real time
formal methods
high level
multi agent systems
mobile robot
lightweight
formal specification
open source projects