Published
Robotique
Building effective formal models to prove time properties of networked automation systems
Published on - 9th International Workshop On Discrete Event Systems, WODES'08
Robotique
Published on - 9th International Workshop On Discrete Event Systems, WODES'08