TY - BOOK AU - Khendek,Ferhat AU - Toeroe,Maria AU - Gherbi,Abdelouahed AU - Reed,Rick TI - SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings SN - 9783642389115 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer organization KW - Computer communication systems KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Management information systems N1 - Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution UR - http://dx.doi.org/10.1007/978-3-642-38911-5 ER -