author = { Romanovsky, Alexander Vardanega, Tullio },

title = { Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642213380},

keywords = { Computer Communication Networks , Logic design , Computer Science , Computer science , Software engineering , Compilers (Computer programs). , Computer networks . , Computer programming. , Machine theory. , Ada 2005 programming , Paperback / softback , Research , formal methods , parallel programming , real-time systems , reliable systems , safety-critical systems , systems modeling , Konferenzschrift 2011 Edinburgh , Softwareentwicklung , Zuverlässigkeit , Ada , Eingebettetes System , Echtzeitsystem , Sicherheitskritisches System , Mehrprozessorsystem },

year = {2011},

booktitle = {Lecture Notes in Computer Science ; 6652},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }