[IEEE 2020 IEEE 44th Annual Computers, Software, and...

  • Main
  • [IEEE 2020 IEEE 44th Annual Computers,...

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Model Checking Software in Cyberphysical Systems

Sirjani, Marjan, Lee, Edward A., Khamespanah, Ehsan
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
2020
DOI:
10.1109/COMPSAC48688.2020.0-138
Fichier:
PDF, 566 KB
2020
La conversion en est effectuée
La conversion en a échoué