Architecting Critical Systems : First International Symposium, Prague, Czech Republic, June 23-25, 2010 /

Guardado en:

Detalles Bibliográficos
Autor principal:	Holger Giese (edición)
Formato:	Libro
Idioma:	Inglés
Publicado:	Berlín, Alemania : Springer, 2010, c2010
Colección:	(Lecture Notes in Computer Science)
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Ejemplares similares: Architecting Critical Systems :

Quick Look
Architecting Dependable Systems /
Quick Look
Component-Based Software Engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /
Quick Look
Architecting Dependable Systems VII /
Quick Look
Architecting Dependable Systems II /
Quick Look
Architecting Dependable Systems III /
Quick Look
Architecting Dependable Systems IV /
Quick Look
Architecting Dependable Systems V /
Quick Look
Architecting Dependable Systems VI /
Quick Look
Multiple Classifier Systems : 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings /
Quick Look
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /
Quick Look
Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
Quick Look
Foundations of Intelligent Systems : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings /
Quick Look
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Quick Look
Research into Practice - Reality and Gaps : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /
Quick Look
Models in Software Engineering : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
Quick Look
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings /
Quick Look
Innovative Technologies for Dependable OTS-Based Critical Systems : Challenges and Achievements of the CRITICAL STEP Project /
Quick Look
Architecture of Computing Systems -- ARCS 2013 : 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /
Quick Look
Networked Digital Technologies, Part I : Second International Conference, NDT 2010, Prague, Czech Republic /
Quick Look
Multi-Agent Systems and Applications III : 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings /
Quick Look
Critical Infrastructure Protection V : 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, Revised Selected Papers /
Quick Look
Database and Expert Systems Applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings /
Quick Look
Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Quick Look
Using Event-B for Critical Device Software Systems /