Embedded software: first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2211 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 502 S. graph. Darst. |
| ISBN: | 3540426736 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013926914 | ||
| 003 | DE-604 | ||
| 005 | 20031016 | ||
| 007 | t| | ||
| 008 | 010918s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 962358622 |2 DE-101 | |
| 020 | |a 3540426736 |9 3-540-42673-6 | ||
| 035 | |a (OCoLC)48038096 | ||
| 035 | |a (DE-599)BVBBV013926914 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Embedded software |b first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings |c Thomas A. Henzinger ; Christoph M. Kirsch (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a IX, 502 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2211 | |
| 650 | 4 | |a Logiciels - Développement - Congrès | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 4 | |a Systèmes enfouis (Informatique) - Conception et construction - Congrès | |
| 650 | 7 | |a Systèmes enfouis (informatique) - Congrès |2 ram | |
| 650 | 7 | |a conception système |2 inriac | |
| 650 | 7 | |a intégration système |2 inriac | |
| 650 | 7 | |a logiciel embarqué |2 inriac | |
| 650 | 7 | |a système embarqué |2 inriac | |
| 650 | 7 | |a système hybride |2 inriac | |
| 650 | 7 | |a système réactif |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a validation système |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 2001 |z Tahoe City Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Henzinger, Thomas |d 1962- |e Sonstige |0 (DE-588)118183540 |4 oth | |
| 711 | 2 | |a EMSOFT |n 1 |d 2001 |c Tahoe City, Calif. |j Sonstige |0 (DE-588)10027020-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2211 |w (DE-604)BV000000607 |9 2211 | |
| 856 | 4 | 2 | |m SWBplus Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009530510&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009530510 | |
Record in the Search Index
| _version_ | 1820874905623724032 |
|---|---|
| adam_text |
TABLE OF CONTENTS HETEROGENEOUS MODELING SUPPORT FOR EMBEDDED SYSTEMS
DESIGN . 1 P. ALEXANDER, C. KONG HIERARCHICAL HYBRID MODELING OF
EMBEDDED SYSTEMS . 14 R. ALUR, T. DANG, J. ESPOSITO,
R. FIERRO, Y. HUR, F. IVAN* CI´ C, V. KUMAR, I. LEE, P. MISHRA, G.
PAPPAS, O. SOKOLSKY SOME SYNCHRONIZATION ISSUES WHEN DESIGNING EMBEDDED
SYSTEMS FROM COMPONENTS
. 32 A. BENVENISTE
SYNCHRONOUS PROGRAMMING TECHNIQUES FOR EMBEDDED SYSTEMS: PRESENT AND
FUTURE . 50 G.
BERRY FROM REQUIREMENTS TO VALIDATED EMBEDDED SYSTEMS
. 51 M. BROY, O. SLOTOSCH USAGE SCENARIOS FOR AN
AUTOMATED MODEL COMPILER . 66 K. BUTTS, D. BOSTIC, A.
CHUTINAN, J. COOK, B. MILAM, Y. WANG EMBEDDED CONTROL: FROM ASYNCHRONY
TO SYNCHRONY AND BACK . 80 P. CASPI VERIFICATION OF EMBEDDED
SOFTWARE: PROBLEMS AND PERSPECTIVES . 97 P. COUSOT, R. COUSOT A
NETWORK-CENTRIC APPROACH TO EMBEDDED SOFTWARE FOR TINY DEVICES . 114
D.E. CULLER, J. HILL, P. BUONADONNA, R. SZEWCZYK, A. WOO STORAGE
ALLOCATION FOR REAL-TIME, EMBEDDED SYSTEMS . 131 S.M.
DONAHUE, M.P. HAMPTON, M. DETERS, J.M. NYE, R.K. CYTRON, K.M. KAVI
INTERFACE THEORIES FOR COMPONENT-BASED DESIGN .
148 L. DE ALFARO, T.A. HENZINGER GIOTTO: A TIME-TRIGGERED LANGUAGE FOR
EMBEDDED PROGRAMMING . 166 T.A. HENZINGER, B. HOROWITZ, C.M.
KIRSCH DIRECTIONS IN FUNCTIONAL PROGRAMMING FOR REAL(-TIME) APPLICATIONS
. 185 W. TAHA, P. HUDAK, Z. WAN RATE-BASED RESOURCE ALLOCATION
MODELS FOR EMBEDDED SYSTEMS . 204 K. JEFFAY, S. GODDARD VIII
TABLE OF CONTENTS THE TEMPORAL SPECIFICATION OF INTERFACES IN
DISTRIBUTED REAL-TIME SYSTEMS . 223
H. KOPETZ SYSTEM-LEVEL TYPES FOR COMPONENT-BASED DESIGN
. 237 E.A. LEE, Y. XIONG EMBEDDED SOFTWARE
IMPLEMENTATION TOOLS FOR FULLY PROGRAMMABLE APPLICATION SPECIFIC SYSTEMS
. 254 S. MALIK COMPILER OPTIMIZATIONS FOR ADAPTIVE
EPIC PROCESSORS . 257 K.V. PALEM, S. TALLA, W.-F. WONG
EMBEDDED SOFTWARE MARKET TRANSFORMATION THROUGH REUSABLE FRAMEWORKS
. 274 W. PREE, A. PASETTI AN
END-TO-END METHODOLOGY FOR BUILDING EMBEDDED SYSTEMS . 287 R.
RAJKUMAR AN IMPLEMENTATION OF SCOPED MEMORY FOR REAL-TIME JAVA
. 289 W.S. BEEBEE, M. RINARD BUS ARCHITECTURES FOR
SAFETY-CRITICAL EMBEDDED SYSTEMS . 306 J. RUSHBY USING
MULTIPLE LEVELS OF ABSTRACTIONS IN EMBEDDED SOFTWARE DESIGN . 324
J.R. BURCH, R. PASSERONE, A.L. SANGIOVANNI-VINCENTELLI HIERARCHICAL
APPROACH FOR DESIGN OF MULTI-VEHICLE MULTI-MODAL EMBEDDED SOFTWARE
. 344 T.J. KOO,
J. LIEBMAN, C. MA, S.S. SASTRY ADAPTIVE AND REFLECTIVE MIDDLEWARE FOR
DISTRIBUTED REAL-TIME AND EMBEDDED SYSTEMS . 361
D.C. SCHMIDT MODELING REAL-TIME SYSTEMS * CHALLENGES AND WORK DIRECTIONS
. 373 J. SIFAKIS VEST * A TOOLSET FOR CONSTRUCTING AND ANALYZING
COMPONENT BASED EMBEDDED SYSTEMS . 390 J.A.
STANKOVIC EMBEDDED SOFTWARE: CHALLENGES AND OPPORTUNITIES
. 403 J. SZTIPANOVITS, G. KARSAI EMBEDDED SOFTWARE
IN NETWORK PROCESSORS * MODELS AND ALGORITHMS . 416 L. THIELE, S.
CHAKRABORTY, M. GRIES, A. MAXIAGUINE, J. GREUTERT TABLE OF CONTENTS IX
DESIGN OF AUTONOMOUS, DISTRIBUTED SYSTEMS .
435 T. SIMSEK, P. VARAIYA FORMALIZING SOFTWARE ARCHITECTURES FOR
EMBEDDED SYSTEMS . 451 P. BINNS, S. VESTAL RELIABLE AND
PRECISE WCET DETERMINATION FOR A REAL-LIFE PROCESSOR . 469 C.
FERDINAND, R. HECKMANN, M. LANGENBACH, F. MARTIN, M. SCHMIDT, H.
THEILING, S. THESING, R. WILHELM EMBEDDED SYSTEMS AND REAL-TIME
PROGRAMMING . 486 N. WIRTH EMBEDDED SOFTWARE FOR
VIDEO . 493 W. WOLF AUTHOR INDEX
. 503 |
| any_adam_object | 1 |
| author_GND | (DE-588)118183540 |
| building | Verbundindex |
| bvnumber | BV013926914 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47 |
| callnumber-search | QA76.76.D47 |
| callnumber-sort | QA 276.76 D47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)48038096 (DE-599)BVBBV013926914 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013926914</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031016</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010918s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962358622</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540426736</subfield><subfield code="9">3-540-42673-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48038096</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013926914</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedded software</subfield><subfield code="b">first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings</subfield><subfield code="c">Thomas A. Henzinger ; Christoph M. Kirsch (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 502 S.</subfield><subfield code="b">graph. Darst.</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">2211</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes enfouis (Informatique) - Conception et construction - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes enfouis (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intégration système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logiciel embarqué</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système embarqué</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système hybride</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réactif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">validation système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</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">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">2001</subfield><subfield code="z">Tahoe City Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Henzinger, Thomas</subfield><subfield code="d">1962-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)118183540</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">EMSOFT</subfield><subfield code="n">1</subfield><subfield code="d">2001</subfield><subfield code="c">Tahoe City, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10027020-7</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">2211</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2211</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWBplus Fremddatenuebernahme</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=009530510&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-009530510</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Tahoe City Calif. gnd-content |
| genre_facet | Konferenzschrift 2001 Tahoe City Calif. |
| id | DE-604.BV013926914 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:10Z |
| institution | BVB |
| institution_GND | (DE-588)10027020-7 |
| isbn | 3540426736 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009530510 |
| oclc_num | 48038096 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-706 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-706 |
| physical | IX, 502 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings Thomas A. Henzinger ; Christoph M. Kirsch (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 IX, 502 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2211 Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Systèmes enfouis (Informatique) - Conception et construction - Congrès Systèmes enfouis (informatique) - Congrès ram conception système inriac intégration système inriac logiciel embarqué inriac système embarqué inriac système hybride inriac système réactif inriac système temps réel inriac validation système inriac vérification formelle inriac Computer software Development Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Tahoe City Calif. gnd-content Eingebettetes System (DE-588)4396978-1 s Softwareentwicklung (DE-588)4116522-6 s DE-604 Henzinger, Thomas 1962- Sonstige (DE-588)118183540 oth EMSOFT 1 2001 Tahoe City, Calif. Sonstige (DE-588)10027020-7 oth Lecture notes in computer science 2211 (DE-604)BV000000607 2211 SWBplus Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009530510&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings Lecture notes in computer science Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Systèmes enfouis (Informatique) - Conception et construction - Congrès Systèmes enfouis (informatique) - Congrès ram conception système inriac intégration système inriac logiciel embarqué inriac système embarqué inriac système hybride inriac système réactif inriac système temps réel inriac validation système inriac vérification formelle inriac Computer software Development Congresses Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4396978-1 (DE-588)1071861417 |
| title | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings |
| title_auth | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings |
| title_exact_search | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings |
| title_full | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings Thomas A. Henzinger ; Christoph M. Kirsch (ed.) |
| title_fullStr | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings Thomas A. Henzinger ; Christoph M. Kirsch (ed.) |
| title_full_unstemmed | Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings Thomas A. Henzinger ; Christoph M. Kirsch (ed.) |
| title_short | Embedded software |
| title_sort | embedded software first international workshop emsoft 2001 tahoe city ca usa october 8 10 2001 proceedings |
| title_sub | first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings |
| topic | Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Systèmes enfouis (Informatique) - Conception et construction - Congrès Systèmes enfouis (informatique) - Congrès ram conception système inriac intégration système inriac logiciel embarqué inriac système embarqué inriac système hybride inriac système réactif inriac système temps réel inriac validation système inriac vérification formelle inriac Computer software Development Congresses Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Logiciels - Développement - Congrès Systèmes enfouis (Informatique) - Conception et construction - Congrès Systèmes enfouis (informatique) - Congrès conception système intégration système logiciel embarqué système embarqué système hybride système réactif système temps réel validation système vérification formelle Computer software Development Congresses Softwareentwicklung Eingebettetes System Konferenzschrift 2001 Tahoe City Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009530510&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT henzingerthomas embeddedsoftwarefirstinternationalworkshopemsoft2001tahoecitycausaoctober8102001proceedings AT emsofttahoecitycalif embeddedsoftwarefirstinternationalworkshopemsoft2001tahoecitycausaoctober8102001proceedings |