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: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Lecture Notes in Computer Science
3253 |
| Schlagworte: | |
| Beschreibung: | X, 395 S. Ill., graph. Darst. |
| ISBN: | 3540231676 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019585624 | ||
| 003 | DE-604 | ||
| 005 | 20041223 | ||
| 007 | t | ||
| 008 | 041112s2004 gw ad|| |||| 10||| eng d | ||
| 015 | |a 04,N38,0024 |2 dnb | ||
| 020 | |a 3540231676 |c : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |9 3-540-23167-6 | ||
| 024 | 3 | |a 9783540231677 | |
| 028 | 5 | 2 | |a 11324249 |
| 035 | |a (OCoLC)56616915 | ||
| 035 | |a (DE-599)BVBBV019585624 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 082 | 0 | |a 003/.3 |2 22 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 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 X, 395 S. |b Ill., 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 3253 | |
| 650 | 7 | |a Automate temporel |2 rasuqam | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 4 | |a Automates temporels - Congrès | |
| 650 | 7 | |a Model-checking (Informatique) |2 rasuqam | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 4 | |a Méthodes formelles (Informatique) - Congrès | |
| 650 | 4 | |a Simulation par ordinateur - Congrès | |
| 650 | 7 | |a Simulation par ordinateur |2 rasuqam | |
| 650 | 4 | |a Temps réel - Congrès | |
| 650 | 7 | |a Théorie des automates |2 rasuqam | |
| 650 | 4 | |a Tolérance aux fautes (Informatique) - Congrès | |
| 650 | 7 | |a Tolérance aux fautes (Informatique) |2 rasuqam | |
| 650 | 7 | |a Traitement en temps réel |2 rasuqam | |
| 650 | 4 | |a Computer simulation |v Congresses | |
| 650 | 4 | |a Fault-tolerant computing |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 4 | |a Real-time data processing |v Congresses | |
| 650 | 4 | |a Temporal automata |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |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 Fehlertoleranz |0 (DE-588)4123192-2 |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 Echtzeitsystem |0 (DE-588)4131397-5 |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)BV000000607 |9 3253 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012922519 | ||
Datensatz im Suchindex
| _version_ | 1804132943855091712 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV019585624 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.C65 |
| callnumber-search | QA76.9.C65 |
| callnumber-sort | QA 276.9 C65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 260f |
| ctrlnum | (OCoLC)56616915 (DE-599)BVBBV019585624 |
| 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 13 |
| 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>03838nam a2200913 cb4500</leader><controlfield tag="001">BV019585624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041223 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">041112s2004 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N38,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540231676</subfield><subfield code="c">: EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)</subfield><subfield code="9">3-540-23167-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540231677</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11324249</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56616915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019585624</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">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">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">3253</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automate temporel</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates temporels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model-checking (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation par ordinateur - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Simulation par ordinateur</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorie des automates</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tolérance aux fautes (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Tolérance aux fautes (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Traitement en temps réel</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temporal automata</subfield><subfield code="v">Congresses</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">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">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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)BV000000607</subfield><subfield code="9">3253</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012922519</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2004 Grenoble |
| id | DE-604.BV019585624 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:00:51Z |
| 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-012922519 |
| oclc_num | 56616915 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-11 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-11 DE-706 |
| physical | X, 395 S. Ill., graph. Darst. |
| 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 X, 395 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3253 Automate temporel rasuqam Automates mathématiques, Théorie des - Congrès Automates temporels - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Méthodes formelles (Informatique) - Congrès Simulation par ordinateur - Congrès Simulation par ordinateur rasuqam Temps réel - Congrès Théorie des automates rasuqam Tolérance aux fautes (Informatique) - Congrès Tolérance aux fautes (Informatique) rasuqam Traitement en temps réel rasuqam Computer simulation Congresses Fault-tolerant computing Congresses Formal methods (Computer science) Congresses Machine theory Congresses Real-time data processing Congresses Temporal automata Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 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)BV000000607 3253 |
| 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 Automate temporel rasuqam Automates mathématiques, Théorie des - Congrès Automates temporels - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Méthodes formelles (Informatique) - Congrès Simulation par ordinateur - Congrès Simulation par ordinateur rasuqam Temps réel - Congrès Théorie des automates rasuqam Tolérance aux fautes (Informatique) - Congrès Tolérance aux fautes (Informatique) rasuqam Traitement en temps réel rasuqam Computer simulation Congresses Fault-tolerant computing Congresses Formal methods (Computer science) Congresses Machine theory Congresses Real-time data processing Congresses Temporal automata Congresses Formale Methode (DE-588)4333722-3 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Fehlertoleranz (DE-588)4123192-2 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4713349-1 (DE-588)4123192-2 (DE-588)4127297-3 (DE-588)4545188-6 (DE-588)4131397-5 (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_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 | Automate temporel rasuqam Automates mathématiques, Théorie des - Congrès Automates temporels - Congrès Model-checking (Informatique) rasuqam Méthode formelle rasuqam Méthodes formelles (Informatique) - Congrès Simulation par ordinateur - Congrès Simulation par ordinateur rasuqam Temps réel - Congrès Théorie des automates rasuqam Tolérance aux fautes (Informatique) - Congrès Tolérance aux fautes (Informatique) rasuqam Traitement en temps réel rasuqam Computer simulation Congresses Fault-tolerant computing Congresses Formal methods (Computer science) Congresses Machine theory Congresses Real-time data processing Congresses Temporal automata Congresses Formale Methode (DE-588)4333722-3 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Fehlertoleranz (DE-588)4123192-2 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| topic_facet | Automate temporel Automates mathématiques, Théorie des - Congrès Automates temporels - Congrès Model-checking (Informatique) Méthode formelle Méthodes formelles (Informatique) - Congrès Simulation par ordinateur - Congrès Simulation par ordinateur Temps réel - Congrès Théorie des automates Tolérance aux fautes (Informatique) - Congrès Tolérance aux fautes (Informatique) Traitement en temps réel Computer simulation Congresses Fault-tolerant computing Congresses Formal methods (Computer science) Congresses Machine theory Congresses Real-time data processing Congresses Temporal automata Congresses Formale Methode Zeitbehafteter Automat Fehlertoleranz Zeitdiskretes System Zeitbewertetes Petri-Netz Echtzeitsystem Konferenzschrift 2004 Grenoble |
| volume_link | (DE-604)BV000000607 |
| 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 |