[IEEE 2008 Sixth IEEE International Conference on Software...

  • Main
  • [IEEE 2008 Sixth IEEE International...

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems

Schaefer, Ina, Poetzsch-Heffter, Arnd
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:
2008
Langue:
english
DOI:
10.1109/sefm.2008.16
Fichier:
PDF, 453 KB
english, 2008
La conversion en est effectuée
La conversion en a échoué