
[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, ArndAnnée:
2008
Langue:
english
DOI:
10.1109/sefm.2008.16
Fichier:
PDF, 453 KB
english, 2008