From Model-Based Design to Formal Verification of Adaptive Embedded Systems

In: 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL. LNCS, November, 2007

Authors

• Rasmus Adler
• Ina Schaefer
• Tobias Schüle
• Eric Vecchié

BibTeX

@InProceedings{AdleretAl.07, 
   author = {Rasmus Adler and Ina Schaefer and Tobias Schüle and Eric Vecchié}
   title = {From Model-Based Design to Formal Verification of Adaptive Embedded Systems},
   booktitle = {9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL},
   series = {LNCS},
   publisher = {Springer},
   month = {November},
   year = {2007},
}