Verfügbarkeit: Reliable software technologies - Ada Europe 2011

Reliable software technologies - Ada Europe 2011: 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Reliable Software Technologies Edinburgh (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6652
Schlagworte:	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Mehrprozessorsystem Eingebettetes System Sicherheitskritisches System Konferenzschrift > 2011 > Edinburgh
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	XIII, 225 S. graph. Darst. 24 cm
ISBN:	3642213375 9783642213373

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039118388
003	DE-604
005	20111115
007	t\|
008	110704s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N18 \|2 dnb
015			\|a 11,A27 \|2 dnb
016	7		\|a 1011273713 \|2 DE-101
020			\|a 3642213375 \|9 3-642-21337-5
020			\|a 9783642213373 \|c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) \|9 978-3-642-21337-3
024	3		\|a 9783642213373
028	5	2	\|a Best.-Nr.: 80063542
035			\|a (OCoLC)725166492
035			\|a (DE-599)DNB1011273713
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 005.133 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 263f \|2 stub
084			\|a 620 \|2 sdnb
084			\|a DAT 343f \|2 stub
084			\|a DAT 356f \|2 stub
111	2		\|a International Conference on Reliable Software Technologies \|n 16 \|d 2011 \|c Edinburgh \|j Verfasser \|0 (DE-588)16162247-1 \|4 aut
245	1	0	\|a Reliable software technologies - Ada Europe 2011 \|b 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 \|c Alexander Romanovsky ... (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XIII, 225 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6652
500			\|a Literaturangaben
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ada \|0 (DE-588)4000430-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mehrprozessorsystem \|0 (DE-588)4038397-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Edinburgh \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0	2	\|a Ada \|0 (DE-588)4000430-2 \|D s
689	0	3	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	0	4	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0	5	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|D s
689	0	6	\|a Mehrprozessorsystem \|0 (DE-588)4038397-0 \|D s
689	0		\|5 DE-604
700	1		\|a Romanovsky, Alexander \|e Sonstige \|4 oth
710	2		\|a Ada Europe \|e Sonstige \|0 (DE-588)330023-7 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-21338-0
830		0	\|a Lecture notes in computer science \|v 6652 \|w (DE-604)BV000000607 \|9 6652
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3719747&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024137012&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024137012

Datensatz im Suchindex

_version_	1820875327777275904
adam_text	IMAGE 1 TABLE OF CONTENTS KEYNOTE TALK ASSURING SOFTWARE RELIABILITY WHILE USING WEB SERVICES AND COMMERCIAL PRODUCTS 1 JEFFREY O'LEARY MULTICORE DETECTING HIGH-LEVEL SYNCHRONIZATION ERRORS IN PARALLEL PROGRAMS 17 SYED AOUN RAZA, STEFAN FRANKE, AND ERHARD PLOEDEREDER DESIGN AND IMPLEMENTATION OF A RAVENSCAR EXTENSION FOR MULTIPROCESSORS 31 FABIEN CHOUTEAU AND JOSE F. RUIZ A REAL-TIME FRAMEWORK FOR MULTIPROCESSOR PLATFORMS USING ADA 2012 46 SERGIO SAEZ, SILVIA TERRASA, AND ALFONS CRESPO VERIFICATION THE SQALE QUALITY AND ANALYSIS MODELS FOR ASSESSING THE QUALITY OF ADA SOURCE CODE 61 THIERRY COQ AND JEAN-PIERRE ROSEN ADAPTING ACATS TO THE AHVEN TESTING FRAMEWORK 75 DAN EILERS AND TERO KOSKINEN MODEL-BASED ANALYSIS AND DESIGN OF REAL-TIME DISTRIBUTED SYSTEMS WITH ADA AND THE UML PROFILE FOR MARTE 89 JULIO L. MEDINA AND ALVARO GARCIA CUESTA ARCHITECTURE AND MODELLING DEVELOPING DEPENDABLE SOFTWARE-INTENSIVE SYSTEMS: AADL VS. EAST-ADL 103 ANDREAS JOHNSEN AND KRISTINA LUNDQVIST A FORMAL APPROACH TO DESIGN AND VERIFICATION OF TWO-LEVEL HIERARCHICAL SCHEDULING SYSTEMS 118 LAURA CARNEVALI, GIUSEPPE LIPARI, ALESSANDRO PINZUTI, AND ENRICO VICARIO BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011273713 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS ARCHITECTING A COMMON BRIDGE ABSTRACTION OVER DIFFERENT MIDDLEWARE PARADIGMS 132 IAGO RODRIGUEZ-LOPEZ AND MARISOL GARCIA- VAILS EDUCATION AND MIXED CRITICALITY USING ROBOTICS AS A MOTIVATIONAL TOOL: AN ADA INTERFACE TO A PIONEER ROBOT 147 RIGOBERTO CHIL, DIEGO ALONSO, FRANCISCO ORTIZ, AND JUAN PASTOR ORK+/XTRATUM: AN OPEN PARTITIONING PLATFORM FOR ADA 160 ANGEL ESQUINAS, JUAN ZAMORANO, JUAN A. DE LA PUENTE, MIGUEL MASMANO, ISMAEL RIPOLL, AND ALFONS CRESPO IMPLEMENTING MIXED CRITICALITY SYSTEMS IN ADA 174 SANJOY BARUAH AND ALAN BURNS PANEL: LANGUAGE PARADIGMS FOR MULTICORE PROGRAMMING PROGRAMMING LANGUAGES MEET MULTICORE 189 ERHARD PLOEDEREDER PROGRAMMING LANGUAGES FOR REAL-TIME APPLICATIONS EXECUTING ON PARALLEL HARDWARE 193 ALAN BURNS MULTICORE PROGRAMMING IN PARASAIL: PARALLEL SPECIFICATION AND IMPLEMENTATION LANGUAGE 196 5. TUCKER TAFT WHY PARALLEL FUNCTIONAL PROGRAMMING MATTERS: PANEL STATEMENT 201 KEVIN HAMMOND PANEL: DO178C AND OBJECT-ORIENTATION FOR CRITICAL SYSTEMS OOT, DO-178C AND SPARK 206 RODERICK CHAPMAN AND TREVOR JENNINGS POSITION PAPER: DO-178C/ED-12C AND OBJECT-ORIENTATION FOR CRITICAL SYSTEMS 211 DEWI DANIELS OBJECT ORIENTATION IN CRITICAL SYSTEMS: YES, IN MODERATION - POSITION PAPER FOR THE DO178C AND OBJECT-ORIENTATION FOR CRITICAL SYSTEMS PANEL 214 JEAN-PIERRE ROSEN IMAGE 3 TABLE OF CONTENTS XIII SIGNET LIBRARY TALK ON THE EVOLUTION OF UNNATURAL LANGUAGE 219 LES HATTON AUTHOR INDEX 227
any_adam_object	1
author_corporate	International Conference on Reliable Software Technologies Edinburgh
author_corporate_role	aut
author_facet	International Conference on Reliable Software Technologies Edinburgh
author_sort	International Conference on Reliable Software Technologies Edinburgh
building	Verbundindex
bvnumber	BV039118388
classification_rvk	SS 4800
classification_tum	DAT 263f DAT 343f DAT 356f
ctrlnum	(OCoLC)725166492 (DE-599)DNB1011273713
dewey-full	005.133
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.133
dewey-search	005.133
dewey-sort	15.133
dewey-tens	000 - Computer science, information, general works
discipline	Maschinenbau / Maschinenwesen Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039118388</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110704s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N18</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A27</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011273713</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642213375</subfield><subfield code="9">3-642-21337-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642213373</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21337-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642213373</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80063542</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725166492</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011273713</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">16</subfield><subfield code="d">2011</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16162247-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliable software technologies - Ada Europe 2011</subfield><subfield code="b">16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011</subfield><subfield code="c">Alexander Romanovsky ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 225 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6652</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrprozessorsystem</subfield><subfield code="0">(DE-588)4038397-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Mehrprozessorsystem</subfield><subfield code="0">(DE-588)4038397-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Romanovsky, Alexander</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Ada Europe</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)330023-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-21338-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6652</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6652</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3719747&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024137012&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024137012</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Edinburgh gnd-content
genre_facet	Konferenzschrift 2011 Edinburgh
id	DE-604.BV039118388
illustrated	Illustrated
indexdate	2025-01-10T15:13:52Z
institution	BVB
institution_GND	(DE-588)16162247-1 (DE-588)330023-7
isbn	3642213375 9783642213373
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024137012
oclc_num	725166492
open_access_boolean
owner	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
physical	XIII, 225 S. graph. Darst. 24 cm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	International Conference on Reliable Software Technologies 16 2011 Edinburgh Verfasser (DE-588)16162247-1 aut Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 Alexander Romanovsky ... (ed.) Berlin [u.a.] Springer 2011 XIII, 225 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6652 Literaturangaben Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Ada (DE-588)4000430-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Mehrprozessorsystem (DE-588)4038397-0 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Edinburgh gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Ada (DE-588)4000430-2 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s Sicherheitskritisches System (DE-588)4767762-4 s Mehrprozessorsystem (DE-588)4038397-0 s DE-604 Romanovsky, Alexander Sonstige oth Ada Europe Sonstige (DE-588)330023-7 oth Erscheint auch als Online-Ausgabe 978-3-642-21338-0 Lecture notes in computer science 6652 (DE-604)BV000000607 6652 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3719747&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024137012&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Mehrprozessorsystem (DE-588)4038397-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd
subject_GND	(DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4038397-0 (DE-588)4396978-1 (DE-588)4767762-4 (DE-588)1071861417
title	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011
title_auth	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011
title_exact_search	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011
title_full	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 Alexander Romanovsky ... (ed.)
title_fullStr	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 Alexander Romanovsky ... (ed.)
title_full_unstemmed	Reliable software technologies - Ada Europe 2011 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011 Alexander Romanovsky ... (ed.)
title_short	Reliable software technologies - Ada Europe 2011
title_sort	reliable software technologies ada europe 2011 16th ada europe international conference on reliable software technologies edinburgh uk june 20 24 2011
title_sub	16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011
topic	Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Mehrprozessorsystem (DE-588)4038397-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd
topic_facet	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Mehrprozessorsystem Eingebettetes System Sicherheitskritisches System Konferenzschrift 2011 Edinburgh
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3719747&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024137012&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT internationalconferenceonreliablesoftwaretechnologiesedinburgh reliablesoftwaretechnologiesadaeurope201116thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesedinburghukjune20242011 AT romanovskyalexander reliablesoftwaretechnologiesadaeurope201116thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesedinburghukjune20242011 AT adaeurope reliablesoftwaretechnologiesadaeurope201116thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesedinburghukjune20242011

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge