Published
Robotique
Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
Published on - International Journal of Systems Science: Operations & Logistics
Robotique
Published on - International Journal of Systems Science: Operations & Logistics