%0
Generic
%T
Reliable Software Technologies - Ada-Europe 2011
16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
%A Romanovsky, Alexander
%A Vardanega, Tullio
%I Springer Berlin Heidelberg
%@ 9783642213380
%K Computer Communication Networks
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Compilers (Computer programs).
%K Computer networks .
%K Computer programming.
%K Machine theory.
%K Ada 2005 programming
%K Paperback / softback
%K Research
%K formal methods
%K parallel programming
%K real-time systems
%K reliable systems
%K safety-critical systems
%K systems modeling
%K Konferenzschrift 2011 Edinburgh
%K Softwareentwicklung
%K Zuverlässigkeit
%K Ada
%K Eingebettetes System
%K Echtzeitsystem
%K Sicherheitskritisches System
%K Mehrprozessorsystem
%D 2011
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2