Metadata
Author: cordis
Data
German[de]
Wissenstransfer, Gemeinschaftsbildung und Verbreitungsaktivitäten im Zusammenhang mit Spezifikation, Verifikation und Synthese von zuverlässigen alltäglichen Computing-Systemen fanden im Rahmen von Tagungen, Workshops und Informationsveranstaltungen statt.
English[en]
Knowledge transfer, community building and diffusion activities relating to the specification, verification and synthesis of dependable ubiquitous computing systems were carried out through meetings, workshops and dissemination events.
Spanish[es]
Además, a través de reuniones, talleres y eventos divulgativos se realizó una transferencia de conocimientos, el desarrollo de la comunidad interesada en el tema y actividades de difusión sobre las especificaciones, la verificación y la síntesis de sistemas informáticos ubicuos fiables.
French[fr]
Un transfert des connaissances, un développement communautaire et des activités de diffusion liées aux spécifications, la vérification et la synthèse de systèmes informatiques ubiquistes fiables ont été effectués par le biais de réunions, d'ateliers et d'activités de dissémination.
Italian[it]
Il trasferimento delle conoscenze, la creazione di comunità e le attività di diffusione relative alla descrizione, verifica e sintesi dei sistemi informatici onnipresenti e affidabili sono state effettuate attraverso incontri, workshop ed eventi di divulgazione.
Polish[pl]
Podczas spotkań, warsztatów i wydarzeń popularyzatorskich realizowano cele transferu wiedzy, budowania społeczności i upowszechniania wyników w zakresie specyfikacji, weryfikowania i syntezy niezawodnych, wszechobecnych systemów obliczeniowych.