Reliable software technologies: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5026 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 281 S. graph. Darst. 24 cm |
| ISBN: | 9783540686217 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023351624 | ||
| 003 | DE-604 | ||
| 005 | 20080721 | ||
| 007 | t| | ||
| 008 | 080618s2008 xx d||| |||| 10||| eng d | ||
| 016 | 7 | |a 989061884 |2 DE-101 | |
| 020 | |a 9783540686217 |c kart. : EUR 48.15 (freier Pr.), sfr 75.00 (freier Pr.) |9 978-3-540-68621-7 | ||
| 024 | 3 | |a 9783540686217 | |
| 028 | 5 | 2 | |a 12275687 |
| 035 | |a (OCoLC)633832355 | ||
| 035 | |a (DE-599)DNB989061884 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.133 |2 22//ger | |
| 082 | 0 | |a 005.133 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 356f |2 stub | ||
| 245 | 1 | 0 | |a Reliable software technologies |b 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |c Fabrice Kordon ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XIV, 281 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 5026 | |
| 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 Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Venedig |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | 2 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 2 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 2 | 3 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 3 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 3 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 3 | 3 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Kordon, Fabrice |e Sonstige |0 (DE-588)124742661 |4 oth | |
| 710 | 2 | |a Ada Europe |e Sonstige |0 (DE-588)330023-7 |4 oth | |
| 711 | 2 | |a International Conference on Reliable Software Technologies |n 13 |d 2008 |c Venedig |j Sonstige |0 (DE-588)16044852-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5026 |w (DE-604)BV000000607 |9 5026 | |
| 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=016535235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016535235 | |
Datensatz im Suchindex
| _version_ | 1820875041486667776 |
|---|---|
| adam_text |
* * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/989061884
DIGITALISIERT DURCH 283 XIV TABLE OF CONTENTS EXPERIENCE IN THE
INTEGRATION OF HETEROGENEOUS MODELS IN THE MODEL-DRIVEN ENGINEERING OF
HIGH-INTEGRITY SYSTEMS 171 MATTEO BORDIN, THANASSIS TSIODRAS, AND MAXIME
PERROTIN A SYSTEMATIC APPROACH TO AUTOMATICALLY GENERATE MULTIPLE
SEMANTICALLY EQUIVALENT PROGRAM VERSIONS 185 SRI HARI KRISHNA NARAYANAN
AND MAHMUT KANDEMIR INCREASING CONFIDENCE IN CONCURRENT SOFTWARE THROUGH
ARCHITECTURAL ANALYSIS 199 ROBERT G. PETTIT IV FAST SCHEDULING OF
DISTRIBUTABLE REAL-TIME THREADS WITH ASSURED END-TO-END TIMELINESS 211
SHERIF F. FAHMY, BINOY RAVINDRAN, AND E.D. JENSEN RCANALYSER: A FLEXIBLE
FRAMEWORK FOR THE DETECTION OF DATA RACES IN PARALLEL PROGRAMS 226 AOUN
RAZA AND GUENTHER VOGEL CAN WE INCREASE THE USABILITY OF REAL TIME
SCHEDULING THEORY? THE CHEDDAR PROJECT 240 FRANK SINGHOFF, ALAIN
PLANTEC, AND PIERRE DISSAUX AN ADA 2005 TECHNOLOGY FOR DISTRIBUTED AND
REAL-TIME COMPONENT-BASED APPLICATIONS 254 PATRICIA LOPEZ MARTINEZ, JOSE
M. DRAKE, PABLO PACHECO, AND JULIO L. MEDINA REAL-TIME DISTRIBUTION
MIDDLEWARE FROM THE ADA PERSPECTIVE 268 HECTOR PEREZ, J. JAVIER
GUTIERREZ, DANIEL SANGORRRN, AND MICHAEL GONZALEZ HARBOUR AUTHOR INDEX |
| adam_txt |
* * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/989061884
DIGITALISIERT DURCH 283 XIV TABLE OF CONTENTS EXPERIENCE IN THE
INTEGRATION OF HETEROGENEOUS MODELS IN THE MODEL-DRIVEN ENGINEERING OF
HIGH-INTEGRITY SYSTEMS 171 MATTEO BORDIN, THANASSIS TSIODRAS, AND MAXIME
PERROTIN A SYSTEMATIC APPROACH TO AUTOMATICALLY GENERATE MULTIPLE
SEMANTICALLY EQUIVALENT PROGRAM VERSIONS 185 SRI HARI KRISHNA NARAYANAN
AND MAHMUT KANDEMIR INCREASING CONFIDENCE IN CONCURRENT SOFTWARE THROUGH
ARCHITECTURAL ANALYSIS 199 ROBERT G. PETTIT IV FAST SCHEDULING OF
DISTRIBUTABLE REAL-TIME THREADS WITH ASSURED END-TO-END TIMELINESS 211
SHERIF F. FAHMY, BINOY RAVINDRAN, AND E.D. JENSEN RCANALYSER: A FLEXIBLE
FRAMEWORK FOR THE DETECTION OF DATA RACES IN PARALLEL PROGRAMS 226 AOUN
RAZA AND GUENTHER VOGEL CAN WE INCREASE THE USABILITY OF REAL TIME
SCHEDULING THEORY? THE CHEDDAR PROJECT 240 FRANK SINGHOFF, ALAIN
PLANTEC, AND PIERRE DISSAUX AN ADA 2005 TECHNOLOGY FOR DISTRIBUTED AND
REAL-TIME COMPONENT-BASED APPLICATIONS 254 PATRICIA LOPEZ MARTINEZ, JOSE
M. DRAKE, PABLO PACHECO, AND JULIO L. MEDINA REAL-TIME DISTRIBUTION
MIDDLEWARE FROM THE ADA PERSPECTIVE 268 HECTOR PEREZ, J. JAVIER
GUTIERREZ, DANIEL SANGORRRN, AND MICHAEL GONZALEZ HARBOUR AUTHOR INDEX |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)124742661 |
| building | Verbundindex |
| bvnumber | BV023351624 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 356f |
| ctrlnum | (OCoLC)633832355 (DE-599)DNB989061884 |
| 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 | Informatik |
| discipline_str_mv | 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">BV023351624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080721</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080618s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">989061884</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540686217</subfield><subfield code="c">kart. : EUR 48.15 (freier Pr.), sfr 75.00 (freier Pr.)</subfield><subfield code="9">978-3-540-68621-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540686217</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12275687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633832355</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB989061884</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-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22//ger</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 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliable software technologies</subfield><subfield code="b">13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings</subfield><subfield code="c">Fabrice Kordon ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 281 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">5026</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Venedig</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="3"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kordon, Fabrice</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124742661</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="711" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">13</subfield><subfield code="d">2008</subfield><subfield code="c">Venedig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16044852-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5026</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5026</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=016535235&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-016535235</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Venedig gnd-content |
| genre_facet | Konferenzschrift 2008 Venedig |
| id | DE-604.BV023351624 |
| illustrated | Illustrated |
| index_date | 2024-07-02T21:05:20Z |
| indexdate | 2025-01-10T15:09:20Z |
| institution | BVB |
| institution_GND | (DE-588)330023-7 (DE-588)16044852-9 |
| isbn | 9783540686217 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016535235 |
| oclc_num | 633832355 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XIV, 281 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Fabrice Kordon ... (eds.) Berlin [u.a.] Springer 2008 XIV, 281 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5026 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 Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Venedig gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Ada (DE-588)4000430-2 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s Kordon, Fabrice Sonstige (DE-588)124742661 oth Ada Europe Sonstige (DE-588)330023-7 oth International Conference on Reliable Software Technologies 13 2008 Venedig Sonstige (DE-588)16044852-9 oth Lecture notes in computer science 5026 (DE-604)BV000000607 5026 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016535235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings 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 Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4396978-1 (DE-588)1071861417 |
| title | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |
| title_auth | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |
| title_exact_search | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |
| title_exact_search_txtP | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |
| title_full | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Fabrice Kordon ... (eds.) |
| title_fullStr | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Fabrice Kordon ... (eds.) |
| title_full_unstemmed | Reliable software technologies 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings Fabrice Kordon ... (eds.) |
| title_short | Reliable software technologies |
| title_sort | reliable software technologies 13th ada europe international conference on reliable software technologies venice italy june 16 20 2008 proceedings |
| title_sub | 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings |
| 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 Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift 2008 Venedig |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016535235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kordonfabrice reliablesoftwaretechnologies13thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesveniceitalyjune16202008proceedings AT adaeurope reliablesoftwaretechnologies13thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesveniceitalyjune16202008proceedings AT internationalconferenceonreliablesoftwaretechnologiesvenedig reliablesoftwaretechnologies13thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesveniceitalyjune16202008proceedings |