Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Lecture Notes in Computer Science
3253 |
| Schlagworte: | |
| Online-Zugang: | DE-91 DE-384 DE-19 DE-739 Volltext |
| Beschreibung: | 1 Online-Ressource (X, 395 S.) Ill., graph. Darst. |
| ISBN: | 3540231676 |
| DOI: | 10.1007/b100824 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035061934 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080919s2004 gw ad|| o|||| 10||| eng d | ||
| 020 | |a 3540231676 |9 3-540-23167-6 | ||
| 024 | 7 | |a 10.1007/b100824 |2 doi | |
| 035 | |a (OCoLC)249751912 | ||
| 035 | |a (DE-599)BVBBV035061934 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-19 |a DE-91 |a DE-739 |a DE-384 | ||
| 082 | 0 | |a 003.3 | |
| 084 | |a DAT 260f |2 stub | ||
| 245 | 1 | 0 | |a Formal techniques, modelling and analysis of timed and fault-tolerant systems |b Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |c Yassine Lakhnech ... (eds.) |
| 246 | 1 | 3 | |a FORMATS 2004 |
| 246 | 1 | 3 | |a FTRTFT 2004 |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a 1 Online-Ressource (X, 395 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 3253 | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2004 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 2 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 3 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |D s |
| 689 | 4 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Lakhnech, Yassine |e Sonstige |4 oth | |
| 711 | 2 | |a FORMATS |n 2 |d 2004 |c Grenoble |j Sonstige |0 (DE-588)10088608-5 |4 oth | |
| 711 | 2 | |a FTRTFT |n 8 |d 2004 |c Grenoble |j Sonstige |0 (DE-588)10089799-X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3253 |w (DE-604)BV014880109 |9 3253 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b100824 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016730441 | |
| 966 | e | |u https://doi.org/10.1007/b100824 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b100824 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b100824 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b100824 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875066649346048 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV035061934 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 260f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)249751912 (DE-599)BVBBV035061934 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/b100824 |
| format | Electronic Conference Proceeding eBook |
| 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">BV035061934</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080919s2004 gw ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540231676</subfield><subfield code="9">3-540-23167-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b100824</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249751912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035061934</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques, modelling and analysis of timed and fault-tolerant systems</subfield><subfield code="b">Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings</subfield><subfield code="c">Yassine Lakhnech ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FORMATS 2004</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FTRTFT 2004</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 395 S.)</subfield><subfield code="b">Ill., 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">3253</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">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">2004</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lakhnech, Yassine</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">2</subfield><subfield code="d">2004</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10088608-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FTRTFT</subfield><subfield code="n">8</subfield><subfield code="d">2004</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10089799-X</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">3253</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3253</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b100824</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016730441</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b100824</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b100824</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b100824</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b100824</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2004 Grenoble |
| id | DE-604.BV035061934 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:00:48Z |
| indexdate | 2025-01-10T15:09:44Z |
| institution | BVB |
| institution_GND | (DE-588)10088608-5 (DE-588)10089799-X |
| isbn | 3540231676 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016730441 |
| oclc_num | 249751912 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
| physical | 1 Online-Ressource (X, 395 S.) Ill., graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings Yassine Lakhnech ... (eds.) FORMATS 2004 FTRTFT 2004 Berlin [u.a.] Springer 2004 1 Online-Ressource (X, 395 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 3253 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Grenoble gnd-content Zeitdiskretes System (DE-588)4127297-3 s Formale Methode (DE-588)4333722-3 s DE-604 Zeitbehafteter Automat (DE-588)4713349-1 s Echtzeitsystem (DE-588)4131397-5 s Fehlertoleranz (DE-588)4123192-2 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Lakhnech, Yassine Sonstige oth FORMATS 2 2004 Grenoble Sonstige (DE-588)10088608-5 oth FTRTFT 8 2004 Grenoble Sonstige (DE-588)10089799-X oth Lecture Notes in Computer Science 3253 (DE-604)BV014880109 3253 https://doi.org/10.1007/b100824 Verlag Volltext |
| spellingShingle | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings Lecture Notes in Computer Science Echtzeitsystem (DE-588)4131397-5 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4713349-1 (DE-588)4333722-3 (DE-588)4127297-3 (DE-588)4545188-6 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |
| title_alt | FORMATS 2004 FTRTFT 2004 |
| title_auth | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |
| title_exact_search | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |
| title_exact_search_txtP | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |
| title_full | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings Yassine Lakhnech ... (eds.) |
| title_fullStr | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings Yassine Lakhnech ... (eds.) |
| title_full_unstemmed | Formal techniques, modelling and analysis of timed and fault-tolerant systems Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings Yassine Lakhnech ... (eds.) |
| title_short | Formal techniques, modelling and analysis of timed and fault-tolerant systems |
| title_sort | formal techniques modelling and analysis of timed and fault tolerant systems joint international conferences on formal modelling and analysis of timed systems formats 2004 and formal techniques in real time and fault tolerant systems ftrtft 2004 grenoble france september 22 24 2004 proceedings |
| title_sub | Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; proceedings |
| topic | Echtzeitsystem (DE-588)4131397-5 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Echtzeitsystem Zeitbehafteter Automat Formale Methode Zeitdiskretes System Zeitbewertetes Petri-Netz Fehlertoleranz Konferenzschrift 2004 Grenoble |
| url | https://doi.org/10.1007/b100824 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT lakhnechyassine formaltechniquesmodellingandanalysisoftimedandfaulttolerantsystemsjointinternationalconferencesonformalmodellingandanalysisoftimedsystemsformats2004andformaltechniquesinrealtimeandfaulttolerantsystemsftrtft2004grenoblefranceseptember22242004proceedings AT formatsgrenoble formaltechniquesmodellingandanalysisoftimedandfaulttolerantsystemsjointinternationalconferencesonformalmodellingandanalysisoftimedsystemsformats2004andformaltechniquesinrealtimeandfaulttolerantsystemsftrtft2004grenoblefranceseptember22242004proceedings AT ftrtftgrenoble formaltechniquesmodellingandanalysisoftimedandfaulttolerantsystemsjointinternationalconferencesonformalmodellingandanalysisoftimedsystemsformats2004andformaltechniquesinrealtimeandfaulttolerantsystemsftrtft2004grenoblefranceseptember22242004proceedings AT lakhnechyassine formats2004 AT formatsgrenoble formats2004 AT ftrtftgrenoble formats2004 AT lakhnechyassine ftrtft2004 AT formatsgrenoble ftrtft2004 AT ftrtftgrenoble ftrtft2004 |