Formal modeling and analysis of timed systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2007
|
| Series: | Lecture Notes in Computer Science
4763 |
| Subjects: | |
| Physical Description: | X, 368 S. graph. Darst. |
| ISBN: | 9783540754534 3540754539 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022935026 | ||
| 003 | DE-604 | ||
| 005 | 20071119 | ||
| 007 | t| | ||
| 008 | 071023s2007 gw d||| |||| 10||| eng d | ||
| 015 | |a 07,N39,0024 |2 dnb | ||
| 016 | 7 | |a 985542136 |2 DE-101 | |
| 020 | |a 9783540754534 |c Pb. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.) |9 978-3-540-75453-4 | ||
| 020 | |a 3540754539 |c Pb. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.) |9 3-540-75453-9 | ||
| 024 | 3 | |a 9783540754534 | |
| 028 | 5 | 2 | |a 12169450 |
| 035 | |a (OCoLC)255950554 | ||
| 035 | |a (DE-599)DNB985542136 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 082 | 0 | |a 005.3 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Formal modeling and analysis of timed systems |b 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |c Jean-François Raskin ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a X, 368 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 4763 | |
| 650 | 4 | |a Computer simulation |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 4 | |a Temporal automata |v Congresses | |
| 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 Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |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 Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hartes Echtzeitsystem |0 (DE-588)4694996-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2006 |z Paris |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Salzburg |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 Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 2 | 1 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 2 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Hartes Echtzeitsystem |0 (DE-588)4694996-3 |D s |
| 689 | 3 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | 2 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 3 | 3 | |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 Raskin, Jean-François |e Sonstige |4 oth | |
| 711 | 2 | |a FORMATS |n 5 |d 2007 |c Salzburg |j Sonstige |0 (DE-588)6067914-1 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4763 |w (DE-604)BV000000607 |9 4763 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016139790 | |
Record in the Search Index
| _version_ | 1820875018157948928 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022935026 |
| 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 DAT 550f |
| ctrlnum | (OCoLC)255950554 (DE-599)DNB985542136 |
| dewey-full | 005.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.3 |
| dewey-search | 005.3 |
| dewey-sort | 15.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV022935026</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071119</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">071023s2007 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N39,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">985542136</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540754534</subfield><subfield code="c">Pb. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.)</subfield><subfield code="9">978-3-540-75453-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540754539</subfield><subfield code="c">Pb. : EUR 55.64 (freier Pr.), sfr 91.00 (freier Pr.)</subfield><subfield code="9">3-540-75453-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540754534</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12169450</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255950554</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB985542136</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">005.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal modeling and analysis of timed systems</subfield><subfield code="b">5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings</subfield><subfield code="c">Jean-François Raskin ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 368 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">4763</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">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">Temporal automata</subfield><subfield code="v">Congresses</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">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</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="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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2006</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Salzburg</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">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><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="2"><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">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="3"><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">Raskin, Jean-François</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">5</subfield><subfield code="d">2007</subfield><subfield code="c">Salzburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6067914-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">4763</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4763</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016139790</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2006 Paris gnd-content (DE-588)1071861417 Konferenzschrift 2007 Salzburg gnd-content |
| genre_facet | Konferenzschrift 2006 Paris Konferenzschrift 2007 Salzburg |
| id | DE-604.BV022935026 |
| illustrated | Illustrated |
| index_date | 2024-07-02T18:56:04Z |
| indexdate | 2025-01-10T15:08:57Z |
| institution | BVB |
| institution_GND | (DE-588)6067914-1 |
| isbn | 9783540754534 3540754539 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016139790 |
| oclc_num | 255950554 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | X, 368 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings Jean-François Raskin ... (eds.) Berlin [u.a.] Springer 2007 X, 368 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4763 Computer simulation Congresses Formal methods (Computer science) Congresses Machine theory Congresses Temporal automata Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Hartes Echtzeitsystem (DE-588)4694996-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Paris gnd-content (DE-588)1071861417 Konferenzschrift 2007 Salzburg 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 Hybrides System (DE-588)4510314-8 s Echtzeitsystem (DE-588)4131397-5 s Hartes Echtzeitsystem (DE-588)4694996-3 s Model Checking (DE-588)4434799-6 s Temporale Logik (DE-588)4137542-7 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Raskin, Jean-François Sonstige oth FORMATS 5 2007 Salzburg Sonstige (DE-588)6067914-1 oth Lecture Notes in Computer Science 4763 (DE-604)BV000000607 4763 |
| spellingShingle | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings Lecture Notes in Computer Science Computer simulation Congresses Formal methods (Computer science) Congresses Machine theory Congresses Temporal automata Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Hybrides System (DE-588)4510314-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Hartes Echtzeitsystem (DE-588)4694996-3 gnd Model Checking (DE-588)4434799-6 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| subject_GND | (DE-588)4713349-1 (DE-588)4333722-3 (DE-588)4510314-8 (DE-588)4131397-5 (DE-588)4127297-3 (DE-588)4137542-7 (DE-588)4694996-3 (DE-588)4434799-6 (DE-588)4545188-6 (DE-588)1071861417 |
| title | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |
| title_auth | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |
| title_exact_search | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |
| title_exact_search_txtP | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |
| title_full | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings Jean-François Raskin ... (eds.) |
| title_fullStr | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings Jean-François Raskin ... (eds.) |
| title_full_unstemmed | Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings Jean-François Raskin ... (eds.) |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems 5th international conference formats 2007 salzburg austria october 3 5 2007 proceedings |
| title_sub | 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings |
| topic | Computer simulation Congresses Formal methods (Computer science) Congresses Machine theory Congresses Temporal automata Congresses Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Hybrides System (DE-588)4510314-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Hartes Echtzeitsystem (DE-588)4694996-3 gnd Model Checking (DE-588)4434799-6 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| topic_facet | Computer simulation Congresses Formal methods (Computer science) Congresses Machine theory Congresses Temporal automata Congresses Zeitbehafteter Automat Formale Methode Hybrides System Echtzeitsystem Zeitdiskretes System Temporale Logik Hartes Echtzeitsystem Model Checking Zeitbewertetes Petri-Netz Konferenzschrift 2006 Paris Konferenzschrift 2007 Salzburg |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT raskinjeanfrancois formalmodelingandanalysisoftimedsystems5thinternationalconferenceformats2007salzburgaustriaoctober352007proceedings AT formatssalzburg formalmodelingandanalysisoftimedsystems5thinternationalconferenceformats2007salzburgaustriaoctober352007proceedings |