Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems

In: 6th IEEE Intl. Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town South Africa. (to appear), November, 2008

Authors

• Ina Schaefer
• Arnd Poetzsch-Heffter

BibTeX

@InProceedings{Schaefer.PH.SEFM08, 
   author = {Ina Schaefer and Arnd Poetzsch-Heffter}
   title = {Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems},
   booktitle = {6th IEEE Intl. Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town South Africa},
   note = {(to appear)},
   month = {November},
   year = {2008},
}