concurrent and distributed systems / manufacturing systems / manufacturing system / statistical verification tool / discreteevent systems / verification algorithms / /
Organization
Ecole Normale Sup´ / Ecole Centrale de Paris / /
Person
Marie Duflot / Serge Haddadb / Paolo Ballarini / Paolo Ballarinia / Serge Haddad / Nihal Pekergind / Marie Duflotc / /