Lectures on embedded systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1494 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 421 S. graph. Darst. |
| ISBN: | 3540651934 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012251427 | ||
| 003 | DE-604 | ||
| 005 | 20000609 | ||
| 007 | t| | ||
| 008 | 981109s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 954681371 |2 DE-101 | |
| 020 | |a 3540651934 |9 3-540-65193-4 | ||
| 035 | |a (OCoLC)40043690 | ||
| 035 | |a (DE-599)BVBBV012251427 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-29T |a DE-20 |a DE-706 |a DE-521 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a TK7895.E42E97 1996 | |
| 082 | 0 | |a 004.16 |2 21 | |
| 082 | 0 | |a 004.16 21 | |
| 084 | |a ST 160 |0 (DE-625)143599: |2 rvk | ||
| 084 | |a ST 170 |0 (DE-625)143602: |2 rvk | ||
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Lectures on embedded systems |b European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 |c Grzegorz Rozenberg ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a VIII, 421 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 1494 | |
| 650 | 7 | |a Arquitetura de computadores |2 larpcal | |
| 650 | 7 | |a Computersystemen |2 gtt | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Sistemas operacionais (computadores) |2 larpcal | |
| 650 | 7 | |a Systeemontwerp |2 gtt | |
| 650 | 7 | |a Systèmes enfouis (informatique) - Congrès |2 ram | |
| 650 | 4 | |a Systèmes imbriqués (Informatique) | |
| 650 | 7 | |a Toepassingen |2 gtt | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a système distribué |2 inriac | |
| 650 | 7 | |a système embarqué |2 inriac | |
| 650 | 7 | |a système hybride |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a tolérance faute |2 inriac | |
| 650 | 4 | |a Embedded computer systems | |
| 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 1996 |z Veldhoven |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rozenberg, Grzegorz |d 1942- |e Sonstige |0 (DE-588)1079124624 |4 oth | |
| 711 | 2 | |a School on Embedded Systems |n 1 |d 1996 |c Veldhoven |j Sonstige |0 (DE-588)2172864-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1494 |w (DE-604)BV000000607 |9 1494 | |
| 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=008301415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008301415 | |
Datensatz im Suchindex
| _version_ | 1820868204540461056 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INTRODUCTION
.
1
F.
W.
VAANDRAGER
FORMAL
MODELS
AND
ANALYSIS
VERIFICATION
OF
CLOCKED
AND
HYBRID
SYSTEMS
.
4
Y.
KESTEN,
Z.
MANNA,
AND
A.
PNUELI
ANALYZING
AND
SYNTHESIZING
HYBRID
CONTROL
SYSTEMS
.
74
M.S.
BRANICKY
MODEL
CHECKING
TIMED
AUTOMATA
.
114
S.
YOVINE
REAL-TIME
SYSTEMS
ON
MODELING
REAL-TIME
TASK
SYSTEMS
.
153
D.
CHEN,
A.
MOK,
AND
S.
BARUAH
A
MODULAR
APPROACH
FOR
PROGRAMMING
EMBEDDED
SYSTEMS
.
170
S.
REN,
G.A.
AGHA
DEVELOPMENT
AND
ENGINEERING
PROOF-BASED
SYSTEM
ENGINEERING
AND
EMBEDDED
SYSTEMS
.
208
G.
LE
LANN
A
DESIGN
NOTATION
AND
TOOLSET
FOR
HIGH-PERFORMANCE
EMBEDDED
.
249
SYSTEMS
DEVELOPMENT
D.
BHATT,
J.
SHACKLETON
THE
MATURITY
OF
OBJECT-ORIENTED
METHODOLOGIES
.
268
A.
VAN
DEN
HOOGENHOF
OBJECT
ORIENTED
DEVELOPMENT
OF
EMBEDDED
SYSTEMS
WITH
THE
.
304
OCTOPUS
METHOD
J.
KUUSELA
CASE
STUDIES
ENGINEERING
OF
REAL-TIME
SYSTEMS
WITH
AN
EXPERIMENT
IN
.
316
HYBRID
CONTROL
A.P.
RAVN,
T.J.
ERIKSEN,
M.
HOLDGAARD,
AND
H.
RISCHEL
FORMAL
METHODS
IN
THE
DESIGN
OF
A
STORM
SURGE
BARRIER
.
353
CONTROL
SYSTEM
P.
KARS
STATECHARTS
IN
USE:
STRUCTURED
ANALYSIS
AND
OBJECT-ORIENTATION
.
368
B.P.
DOUGLASS,
D.
HAREL,
AND
M.
TRAKHTENBROT
VIII
INDUSTRIAL
PERSPECTIVE
EMBEDDED
SYSTEMS
IN
CONSUMER
PRODUCTS
.
395
R.H.
BOURGONJON
THE
LONG
ROAD
FROM
RESEARCH
TO
TELECOMMUNICATION
APPLICATIONS
.
404
H.F.
VAN
RIETSCHOTE
DEVELOPMENT
OF
EMBEDDED
SOFTWARE
AT
ICT
.
413
F.T.G.
VELTMAAT
AUTHOR
INDEX
.
423 |
| any_adam_object | 1 |
| author_GND | (DE-588)1079124624 |
| building | Verbundindex |
| bvnumber | BV012251427 |
| callnumber-first | T - Technology |
| callnumber-label | TK7895 |
| callnumber-raw | TK7895.E42E97 1996 |
| callnumber-search | TK7895.E42E97 1996 |
| callnumber-sort | TK 47895 E42 E97 41996 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 160 ST 170 |
| classification_tum | DAT 315f |
| ctrlnum | (OCoLC)40043690 (DE-599)BVBBV012251427 |
| dewey-full | 004.16 004.1621 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.16 004.16 21 |
| dewey-search | 004.16 004.16 21 |
| dewey-sort | 14.16 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV012251427</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000609</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">981109s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954681371</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540651934</subfield><subfield code="9">3-540-65193-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40043690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012251427</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7895.E42E97 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.16</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.16 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 160</subfield><subfield code="0">(DE-625)143599:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 170</subfield><subfield code="0">(DE-625)143602:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lectures on embedded systems</subfield><subfield code="b">European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996</subfield><subfield code="c">Grzegorz Rozenberg ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 421 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">1494</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computersystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sistemas operacionais (computadores)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systeemontwerp</subfield><subfield code="2">gtt</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="4"><subfield code="a">Systèmes imbriqués (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Toepassingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système distribué</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 temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">tolérance faute</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</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">1996</subfield><subfield code="z">Veldhoven</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rozenberg, Grzegorz</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1079124624</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">School on Embedded Systems</subfield><subfield code="n">1</subfield><subfield code="d">1996</subfield><subfield code="c">Veldhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2172864-1</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">1494</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1494</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=008301415&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-008301415</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Veldhoven gnd-content |
| genre_facet | Konferenzschrift 1996 Veldhoven |
| id | DE-604.BV012251427 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:39Z |
| institution | BVB |
| institution_GND | (DE-588)2172864-1 |
| isbn | 3540651934 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008301415 |
| oclc_num | 40043690 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-29T DE-20 DE-706 DE-521 DE-83 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-29T DE-20 DE-706 DE-521 DE-83 DE-188 |
| physical | VIII, 421 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 Grzegorz Rozenberg ... (eds.) Berlin [u.a.] Springer 1998 VIII, 421 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1494 Arquitetura de computadores larpcal Computersystemen gtt Engenharia de programacao (software) larpcal Sistemas operacionais (computadores) larpcal Systeemontwerp gtt Systèmes enfouis (informatique) - Congrès ram Systèmes imbriqués (Informatique) Toepassingen gtt méthode formelle inriac système distribué inriac système embarqué inriac système hybride inriac système temps réel inriac tolérance faute inriac Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Veldhoven gnd-content Eingebettetes System (DE-588)4396978-1 s DE-604 Rozenberg, Grzegorz 1942- Sonstige (DE-588)1079124624 oth School on Embedded Systems 1 1996 Veldhoven Sonstige (DE-588)2172864-1 oth Lecture notes in computer science 1494 (DE-604)BV000000607 1494 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008301415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 Lecture notes in computer science Arquitetura de computadores larpcal Computersystemen gtt Engenharia de programacao (software) larpcal Sistemas operacionais (computadores) larpcal Systeemontwerp gtt Systèmes enfouis (informatique) - Congrès ram Systèmes imbriqués (Informatique) Toepassingen gtt méthode formelle inriac système distribué inriac système embarqué inriac système hybride inriac système temps réel inriac tolérance faute inriac Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)1071861417 |
| title | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 |
| title_auth | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 |
| title_exact_search | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 |
| title_full | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 Grzegorz Rozenberg ... (eds.) |
| title_fullStr | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 Grzegorz Rozenberg ... (eds.) |
| title_full_unstemmed | Lectures on embedded systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 Grzegorz Rozenberg ... (eds.) |
| title_short | Lectures on embedded systems |
| title_sort | lectures on embedded systems european educational forum school on embedded systems veldhoven the netherlands november 25 29 1996 |
| title_sub | European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 - 29, 1996 |
| topic | Arquitetura de computadores larpcal Computersystemen gtt Engenharia de programacao (software) larpcal Sistemas operacionais (computadores) larpcal Systeemontwerp gtt Systèmes enfouis (informatique) - Congrès ram Systèmes imbriqués (Informatique) Toepassingen gtt méthode formelle inriac système distribué inriac système embarqué inriac système hybride inriac système temps réel inriac tolérance faute inriac Embedded computer systems Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Arquitetura de computadores Computersystemen Engenharia de programacao (software) Sistemas operacionais (computadores) Systeemontwerp Systèmes enfouis (informatique) - Congrès Systèmes imbriqués (Informatique) Toepassingen méthode formelle système distribué système embarqué système hybride système temps réel tolérance faute Embedded computer systems Eingebettetes System Konferenzschrift 1996 Veldhoven |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008301415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT rozenberggrzegorz lecturesonembeddedsystemseuropeaneducationalforumschoolonembeddedsystemsveldhoventhenetherlandsnovember25291996 AT schoolonembeddedsystemsveldhoven lecturesonembeddedsystemseuropeaneducationalforumschoolonembeddedsystemsveldhoventhenetherlandsnovember25291996 |