Compositional Dependability Evaluation for STATEMATE
Bode, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Rakow, J., Wimmer, R., Becker, B.
Published in IEEE transactions on software engineering (01.03.2009)
Published in IEEE transactions on software engineering (01.03.2009)
Get full text
Journal Article
Metamodels in Europe: Languages, Tools, and Applications
Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.
Published in IEEE design & test of computers (01.05.2009)
Published in IEEE design & test of computers (01.05.2009)
Get full text
Journal Article
Using contract-based component specifications for virtual integration testing and architecture design
Damm, W, Hungar, H, Josko, B, Peikenkamp, T, Stierand, I
Published in 2011 Design, Automation & Test in Europe (01.03.2011)
Published in 2011 Design, Automation & Test in Europe (01.03.2011)
Get full text
Conference Proceeding