by Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits
Reference:
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) (Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits), In Dagstuhl Reports (Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 1, 2012.
Bibtex Entry:
@Article{Giese+2012:Dagstuhl-Report-SECPS,
AUTHOR = {Giese, Holger and Rumpe, Bernhard and Schätz, Bernhard and Sztipanovits, Janos},
TITLE = {{Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)}},
YEAR = {2012},
JOURNAL = {Dagstuhl Reports},
VOLUME = {1},
NUMBER = {11},
PAGES = {1--22},
EDITOR = {Giese, Holger and Rumpe, Bernhard and Schätz, Bernhard and Sztipanovits, Janos},
ADDRESS = {Dagstuhl, Germany},
PUBLISHER = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3375},
PDF = {uploads/pdf/Giese+2012:Dagstuhl-Report-SECPS.pdf},
OPTacc_pdf = {},
ANNOTE = {Keywords: Embedded systems, real-time systems, control, composition, system integration, design automation, model-driven development, validation & verification}
}