Verification of Timed Systems

@inproceedings{Haddad2011VerificationOT,
  title={Verification of Timed Systems},
  author={Serge Haddad and Fabrice Kordon and Laurent Pautet and Laure Petrucci},
  year={2011}
}
  • Serge Haddad, Fabrice Kordon, +1 author Laure Petrucci
  • Published 2011
  • Computer Science
  • Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv