%0 Book
%T Reliable software technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005 ; proceedings
%A International Conference on Reliable Software Technologies 10 2005 York
%A Vardanega, Tullio
%I Springer
%@ 9783540262862
%@ 3540262865
%K Computer software Reliability Congresses
%K Konferenzschrift
%K Konferenzschrift 2005 York
%K Softwareentwicklung
%K Zuverlässigkeit
%K Ada
%K Eingebettetes System
%D 2005
%X Literaturangaben
%X ApplicationsDesign and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology.
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation