TY - DATA AU - Reussner,Ralf H. AU - Stafford,Judith A. AU - Szyperski,Clemens A. ED - SpringerLink (Online service) TI - Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers SN - 9783540358336 AV - QA76.76.C66 R48 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Operating systems (Computers) KW - Logic design KW - Computer Science KW - Software Engineering KW - Programming Techniques KW - Operating Systems KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs UR - http://dx.doi.org/10.1007/11786160 ER -