Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems

Giese, Holger

by Holger Giese

Reference:

Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (Holger Giese), In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers (Fabrice Kordon, Janos Sztipanovits, eds.), Springer Verlag, volume 4322, 2007.

Bibtex Entry:

@InProceedings{Giese2007,
  AUTHOR = {Giese, Holger},
  TITLE = {{Modeling and Verification of Cooperative Self-adaptive
  Mechatronic Systems}},
  YEAR = {2007},
  BOOKTITLE = {Reliable Systems on Unreliable Networked Platforms - 12th
  Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005
  . Revised Selected Papers},
  VOLUME = {4322},
  PAGES = {258-280},
  EDITOR = {Kordon, Fabrice and Sztipanovits, Janos},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer Verlag},
}