Affordable Access

Contribution à une démarche de vérification formelle d'architectures logicielles

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • Computer Science
  • Informatique
  • Langage De Description D'Architectures
  • Architecture Logicielle
  • Uml (Informatique)
  • Verification Formelle
  • Wright
  • 09H - Computer Software, Programming
  • 09P - Artificial Intelligence
  • Informatique
External links

Abstract

Statistics

Seen <100 times