by Holger Giese
Reference:
Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges (Holger Giese), In Tools for the Model-based Development of Certifiable, Dependable Systems (Michaela Huhn, Hardi Hungar, Doron Peled, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.
Bibtex Entry:
@InProceedings{Giese07241,
AUTHOR = {Giese, Holger},
TITLE = {{Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges}},
YEAR = {2008},
BOOKTITLE = {Tools for the Model-based Development of Certifiable, Dependable Systems},
NUMBER = {07241},
EDITOR = {Huhn, Michaela and Hungar, Hardi and Peled, Doron},
SERIES = {Dagstuhl Seminar Proceedings},
ADDRESS = {Dagstuhl, Germany},
PUBLISHER = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1406},
PDF = {uploads/pdf/07241_abstracts_collection.1406.pdf},
KEYWORDS = {certification, Dependable systems, Formal methods, modelling, Safety, security, tools, Verification}
}