|
|
|
|
| LEADER |
06866cam a22012972 4500 |
| 001 |
0-1649785003 |
| 003 |
DE-627 |
| 005 |
20240122105309.0 |
| 007 |
cr uuu---uuuuu |
| 008 |
100702s2010 gw |||||o 00| ||eng c |
| 020 |
|
|
|a 9783642135507
|9 978-3-642-13550-7
|
| 024 |
7 |
|
|a 10.1007/978-3-642-13550-7
|2 doi
|
| 035 |
|
|
|a (DE-627)1649785003
|
| 035 |
|
|
|a (DE-576)325492638
|
| 035 |
|
|
|a (DE-599)BSZ325492638
|
| 035 |
|
|
|a (OCoLC)692304732
|
| 035 |
|
|
|a (OCoLC)731124917
|
| 035 |
|
|
|a (DE-He213)978-3-642-13550-7
|
| 035 |
|
|
|a (EBP)040520064
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|c XA-DE
|
| 050 |
|
0 |
|a QA76.7-76.73
|a QA76.76.C65
|
| 072 |
|
7 |
|a UMX
|2 bicssc
|
| 072 |
|
7 |
|a COM010000
|2 bisacsh
|
| 072 |
|
7 |
|a UMC
|2 bicssc
|
| 072 |
|
7 |
|a COM051010
|2 bisacsh
|
| 084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
| 084 |
|
|
|a 54.53
|2 bkl
|
| 084 |
|
|
|a 54.52
|2 bkl
|
| 100 |
1 |
|
|a Real, Jorge
|4 aut
|
| 245 |
1 |
0 |
|a Reliable Software Technologiey – Ada-Europe 2010
|b 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
|c edited by Jorge Real, Tullio Vardanega
|
| 264 |
|
1 |
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2010
|
| 300 |
|
|
|a Online-Ressource (XII, 277p. 65 illus, digital)
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
| 338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science
|v 6106
|
| 490 |
0 |
|
|a SpringerLink
|a Bücher
|
| 520 |
|
|
|a Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects.
|
| 650 |
|
0 |
|a Computer Communication Networks
|
| 650 |
|
0 |
|a Logic design
|
| 650 |
|
0 |
|a Computer Science
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Software engineering
|
| 650 |
|
0 |
|a Computer networks .
|
| 650 |
|
0 |
|a Compilers (Computer programs).
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Machine theory.
|
| 655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
| 689 |
0 |
0 |
|D s
|0 (DE-588)4116522-6
|0 (DE-627)104616369
|0 (DE-576)209502258
|a Softwareentwicklung
|2 gnd
|
| 689 |
0 |
1 |
|D s
|0 (DE-588)4059245-5
|0 (DE-627)106144111
|0 (DE-576)209130075
|a Zuverlässigkeit
|2 gnd
|
| 689 |
0 |
2 |
|D s
|0 (DE-588)4000430-2
|0 (DE-627)106401262
|0 (DE-576)208837973
|a Ada
|2 gnd
|
| 689 |
0 |
3 |
|D s
|0 (DE-588)4396978-1
|0 (DE-627)191533580
|0 (DE-576)212005545
|a Eingebettetes System
|2 gnd
|
| 689 |
0 |
4 |
|D s
|0 (DE-588)4131397-5
|0 (DE-627)105695319
|0 (DE-576)20962695X
|a Echtzeitsystem
|2 gnd
|
| 689 |
0 |
|
|5 DE-101
|
| 700 |
1 |
|
|a Vardanega, Tullio
|4 oth
|
| 776 |
1 |
|
|z 9783642135491
|
| 776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Reliable software technologies - Ada-Europe 2010
|d Berlin : Springer, 2010
|h XII, 275 S.
|w (DE-627)626834147
|w (DE-576)324290543
|z 3642135498
|z 9783642135491
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 6106
|9 6106
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-13550-7
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
| 856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz325492638cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20151008164404
|3 Cover
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|
| 912 |
|
|
|a ZDB-2-SCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SXCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|b 2010
|
| 936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
| 936 |
b |
k |
|a 54.53
|j Programmiersprachen
|q SEPA
|0 (DE-627)106418890
|
| 936 |
b |
k |
|a 54.52
|j Software engineering
|q SEPA
|0 (DE-627)106418882
|
| 951 |
|
|
|a BO
|
| 950 |
|
|
|a Software
|
| 950 |
|
|
|a Entwicklung
|
| 950 |
|
|
|a Softwareentwurf
|
| 950 |
|
|
|a Programmentwicklung
|
| 950 |
|
|
|a Programmentwurf
|
| 950 |
|
|
|a Software Engineering
|
| 950 |
|
|
|a Programmierung
|
| 950 |
|
|
|a Softwareentwickler
|
| 950 |
|
|
|a Webentwicklung
|
| 950 |
|
|
|a Разработка программного обеспечения
|
| 950 |
|
|
|a Echtzeitbetriebssystem
|
| 950 |
|
|
|a Realzeitsystem
|
| 950 |
|
|
|a realtimesysem
|
| 950 |
|
|
|a real-time system
|
| 950 |
|
|
|a Online-System
|
| 950 |
|
|
|a On-line-System
|
| 950 |
|
|
|a Echtzeitrechensystem
|
| 950 |
|
|
|a RTOS
|
| 950 |
|
|
|a Real-time Operating System
|
| 950 |
|
|
|a Betriebssystem
|
| 950 |
|
|
|a Datenverarbeitungssystem
|
| 950 |
|
|
|a Technische Zuverlässigkeit
|
| 950 |
|
|
|a Menschliches Versagen
|
| 950 |
|
|
|a Unzuverlässigkeit
|
| 950 |
|
|
|a Verfügbarkeit
|
| 950 |
|
|
|a Programmiersprache
|
| 950 |
|
|
|a Embedded system
|
| 950 |
|
|
|a Einbettung
|
| 950 |
|
|
|a Cyber-physisches System
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-13550-7
|9 DE-14
|
| 852 |
|
|
|a DE-14
|z 2011-07-20T14:57:56Z
|x epn:3334561224
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-13550-7
|9 DE-15
|
| 852 |
|
|
|a DE-15
|z 2011-05-16T16:32:19Z
|x epn:3334561313
|
| 976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-13550-7
|z Zum Online-Dokument
|9 DE-Zi4
|
| 852 |
|
|
|a DE-Zi4
|z 2011-01-26T14:21:27Z
|x epn:3334561437
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-13550-7
|9 DE-520
|
| 852 |
|
|
|a DE-520
|z 2012-11-10T03:19:24Z
|x epn:3334561453
|
| 980 |
|
|
|a 1649785003
|b 0
|k 1649785003
|o 325492638
|
SOLR
| _version_ |
1789357029974867968 |
| access_facet |
Electronic Resources |
| author |
Real, Jorge |
| author2 |
Vardanega, Tullio |
| author2_role |
oth |
| author2_variant |
t v tv |
| author_facet |
Real, Jorge, Vardanega, Tullio |
| author_role |
aut |
| author_sort |
Real, Jorge |
| author_variant |
j r jr |
| callnumber-first |
Q - Science |
| callnumber-label |
QA76 |
| callnumber-raw |
QA76.7-76.73 QA76.76.C65 |
| callnumber-search |
QA76.7-76.73 QA76.76.C65 |
| callnumber-sort |
QA 276.7 276.73 Q A76 276. C65 |
| callnumber-subject |
QA - Mathematics |
| collection |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| contents |
Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects. |
| ctrlnum |
(DE-627)1649785003, (DE-576)325492638, (DE-599)BSZ325492638, (OCoLC)692304732, (OCoLC)731124917, (DE-He213)978-3-642-13550-7, (EBP)040520064 |
| de15_date |
2011-05-16T16:32:19Z |
| doi_str_mv |
10.1007/978-3-642-13550-7 |
| facet_912a |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| facet_avail |
Online |
| facet_local_del330 |
Softwareentwicklung, Zuverlässigkeit, Ada, Eingebettetes System, Echtzeitsystem |
| finc_class_facet |
Informatik, Mathematik |
| finc_id_str |
0000886102 |
| fincclass_txtF_mv |
science-computerscience |
| format |
eBook, ConferenceProceedings |
| format_access_txtF_mv |
Book, E-Book |
| format_de105 |
Ebook |
| format_de14 |
Book, E-Book |
| format_de15 |
Book, E-Book |
| format_del152 |
Buch |
| format_detail_txtF_mv |
text-online-monograph-independent-conference |
| format_dezi4 |
e-Book |
| format_finc |
Book, E-Book |
| format_legacy |
ElectronicBook |
| format_legacy_nrw |
Book, E-Book |
| format_nrw |
Book, E-Book |
| format_strict_txtF_mv |
E-Book |
| genre |
Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
| genre_facet |
Konferenzschrift |
| geogr_code |
not assigned |
| geogr_code_person |
not assigned |
| hierarchy_parent_id |
0-316228877 |
| hierarchy_parent_title |
Lecture notes in computer science |
| hierarchy_sequence |
6106 |
| hierarchy_top_id |
0-316228877 |
| hierarchy_top_title |
Lecture notes in computer science |
| id |
0-1649785003 |
| illustrated |
Not Illustrated |
| imprint |
Berlin, Heidelberg, Springer Berlin Heidelberg, 2010 |
| imprint_str_mv |
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 |
| institution |
DE-14, DE-Zi4, DE-520, DE-15 |
| is_hierarchy_id |
0-1649785003 |
| is_hierarchy_title |
Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
| isbn |
9783642135507 |
| isbn_isn_mv |
9783642135491, 3642135498 |
| issn_isn_mv |
1611-3349 |
| kxp_id_str |
1649785003 |
| language |
English |
| last_indexed |
2024-01-28T17:44:01.061Z |
| local_heading_facet_dezwi2 |
Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Softwareentwicklung, Zuverlässigkeit, Ada, Eingebettetes System, Echtzeitsystem |
| marc024a_ct_mv |
10.1007/978-3-642-13550-7 |
| match_str |
real2010reliablesoftwaretechnologieyadaeurope201015thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesvalenciaspainjune14182010proceedings |
| mega_collection |
Verbunddaten SWB |
| multipart_link |
093890923 |
| multipart_part |
(093890923)6106 |
| oclc_num |
692304732, 731124917 |
| physical |
Online-Ressource (XII, 277p. 65 illus, digital) |
| publishDate |
2010 |
| publishDateSort |
2010 |
| publishPlace |
Berlin, Heidelberg |
| publisher |
Springer Berlin Heidelberg |
| record_format |
marcfinc |
| record_id |
325492638 |
| recordtype |
marcfinc |
| rsn_id_str_mv |
(DE-15)2461843 |
| rvk_facet |
SS 4800 |
| rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
| rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| series |
Lecture notes in computer science, 6106 |
| series2 |
Lecture Notes in Computer Science ; 6106, SpringerLink ; Bücher |
| source_id |
0 |
| spelling |
Real, Jorge aut, Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (XII, 277p. 65 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6106, SpringerLink Bücher, Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects., Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4059245-5 (DE-627)106144111 (DE-576)209130075 Zuverlässigkeit gnd, s (DE-588)4000430-2 (DE-627)106401262 (DE-576)208837973 Ada gnd, s (DE-588)4396978-1 (DE-627)191533580 (DE-576)212005545 Eingebettetes System gnd, s (DE-588)4131397-5 (DE-627)105695319 (DE-576)20962695X Echtzeitsystem gnd, DE-101, Vardanega, Tullio oth, 9783642135491, Buchausg. u.d.T. Reliable software technologies - Ada-Europe 2010 Berlin : Springer, 2010 XII, 275 S. (DE-627)626834147 (DE-576)324290543 3642135498 9783642135491, Lecture notes in computer science 6106 6106 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-13550-7 X:SPRINGER Verlag lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz325492638cov.jpg V:DE-576 X:springer image/jpeg 20151008164404 Cover, http://dx.doi.org/10.1007/978-3-642-13550-7 DE-14, DE-14 2011-07-20T14:57:56Z epn:3334561224, http://dx.doi.org/10.1007/978-3-642-13550-7 DE-15, DE-15 2011-05-16T16:32:19Z epn:3334561313, http://dx.doi.org/10.1007/978-3-642-13550-7 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:21:27Z epn:3334561437, http://dx.doi.org/10.1007/978-3-642-13550-7 DE-520, DE-520 2012-11-10T03:19:24Z epn:3334561453 |
| spellingShingle |
Real, Jorge, Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings, Lecture notes in computer science, 6106, Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects., Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift, Softwareentwicklung, Zuverlässigkeit, Ada, Eingebettetes System, Echtzeitsystem |
| swb_id_str |
325492638 |
| title |
Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
| title_auth |
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
| title_full |
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega |
| title_fullStr |
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega |
| title_full_unstemmed |
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega |
| title_in_hierarchy |
6106. Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings (2010) |
| title_short |
Reliable Software Technologiey – Ada-Europe 2010 |
| title_sort |
reliable software technologiey ada europe 2010 15th ada europe international conference on reliable software technologies valencia spain june 14 18 2010 proceedings |
| title_sub |
15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
| title_unstemmed |
Reliable Software Technologiey – Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
| topic |
Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift, Softwareentwicklung, Zuverlässigkeit, Ada, Eingebettetes System, Echtzeitsystem |
| topic_facet |
Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Machine theory., Konferenzschrift, Softwareentwicklung, Zuverlässigkeit, Ada, Eingebettetes System, Echtzeitsystem |
| url |
https://doi.org/10.1007/978-3-642-13550-7, https://swbplus.bsz-bw.de/bsz325492638cov.jpg, http://dx.doi.org/10.1007/978-3-642-13550-7 |
