Overview
This project is closed and read-only.
UPPAAL and UPPAAL-SMC case studies (osmosis & quadcopter)
Members
Project administrator: François Félix Ingrand
Developer: Bernard Berthomieu, Jacques Combaz, Pierre-Emmanuel Hladik, Silvano Dal Zilio
Reporter: Mohammed Foughali