Login / Signup
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs.
David Delahaye
Mathieu Jaume
Virgile Prevosto
Published in:
Tech. Sci. Informatiques (2005)
Keyphrases
</>
diagnosis of discrete event systems
discrete event systems
formal methods
theorem prover
upper bound
petri net
artificial intelligence
cooperative
multi agent
data streams
knowledge based systems
constraint satisfaction
np hard
sensor networks
object oriented