Formal modeling and analysis of timed systems: third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture Notes in Computer Science
3829 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 303 S. Ill., graph. Darst. |
| ISBN: | 9783540309468 3540309462 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021283717 | ||
| 003 | DE-604 | ||
| 005 | 20101007 | ||
| 007 | t| | ||
| 008 | 060109s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,N50,0020 |2 dnb | ||
| 016 | 7 | |a 977134385 |2 DE-101 | |
| 020 | |a 9783540309468 |9 978-3-540-30946-8 | ||
| 020 | |a 3540309462 |c : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.) |9 3-540-30946-2 | ||
| 024 | 3 | |a 9783540309468 | |
| 028 | 5 | 2 | |a 11603009 |
| 035 | |a (OCoLC)634537282 | ||
| 035 | |a (DE-599)BVBBV021283717 | ||
| 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-83 |a DE-11 |a DE-706 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Formal modeling and analysis of timed systems |b third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |c Paul Pettersson ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a IX, 303 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 3829 | |
| 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 Temporale Logik |0 (DE-588)4137542-7 |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 Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Uppsala |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 Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 3 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |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 Pettersson, Paul |e Sonstige |4 oth | |
| 711 | 2 | |a FORMATS |n 3 |d 2005 |c Uppsala |j Sonstige |0 (DE-588)10123567-7 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3829 |w (DE-604)BV000000607 |9 3829 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014604673 | |
Datensatz im Suchindex
| _version_ | 1820874979355394048 |
|---|---|
| adam_text |
Table of Contents
Invited Talk
Modular Performance Analysis of Distributed Embedded Systems
Lothar Thiele . 1
Logic and Specification
Real. Time Temporal Logic: Past, Present, Future
Oded
Translating Timed I/O Automata Specifications for Theorem Proving
in PVS
Hongping
Specification and Refinement of Soft Real-Time Requirements Using
Sequence Diagrams
Atle Refsdal,
Times Games and Synthesis
On Optimal Timed Strategies
Thomas Brihaye,
Average Reward Timed Games
Bo Thomas
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded
Liveness
Gerd
Invited Talk
Verification of Parameterized Timed Systems
Parosh Aziz Abdulla
Model Checking
Model Checking the Time to Reach Agreement
Hendriks. 98
VIII Table of Contents
Diagonal Constraints in Timed Automata: Forward Analysis of Timed
Systems
Patricia Bouyer,
A New Verification Procedure for Partially Clairvoyant Scheduling
K. Subramani, D. Desovski
Invited Talk
Timing Analysis and Simulation Tools for Real-Time Control
KarUErik
Hybrid Systems
Automatic Rectangular Refinement of
Laurent Doyen, Thomas A. Henzinger,
Reachability Problems on Extended O-Minimal Hybrid Automata
Raffaella Gentilini
Counterexamples for Timed Probabilistic Reachability
Husain Aljazzar, Holger Hermanns, Stefan
Petri Nets
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of
Time Petri Nets
Thomas
Comparison of the Expressiveness of Timed Automata and Time Petri
Nets
Beatrice
Olivier
Semantics
Quantifying Similarities Between Timed Systems
Thomas A. Henzinger, Rupak Majumdar,
-
Performance of Pipelined Asynchronous Systems
Flavio
Table of
Is Timed Branching BMmilarity an Equivalence Indeed?
Wan FokMnk, Jun Pang, Anton Wijs
Semantics and Modelling
Implementation of Timed Automata: An Issue of Semantics or
Modeling?
Karine Altisen, Stavros Tripakis
Timed Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni
Author Index |
| adam_txt |
Table of Contents
Invited Talk
Modular Performance Analysis of Distributed Embedded Systems
Lothar Thiele . 1
Logic and Specification
Real. Time Temporal Logic: Past, Present, Future
Oded
Translating Timed I/O Automata Specifications for Theorem Proving
in PVS
Hongping
Specification and Refinement of Soft Real-Time Requirements Using
Sequence Diagrams
Atle Refsdal,
Times Games and Synthesis
On Optimal Timed Strategies
Thomas Brihaye,
Average Reward Timed Games
Bo Thomas
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded
Liveness
Gerd
Invited Talk
Verification of Parameterized Timed Systems
Parosh Aziz Abdulla
Model Checking
Model Checking the Time to Reach Agreement
Hendriks. 98
VIII Table of Contents
Diagonal Constraints in Timed Automata: Forward Analysis of Timed
Systems
Patricia Bouyer,
A New Verification Procedure for Partially Clairvoyant Scheduling
K. Subramani, D. Desovski
Invited Talk
Timing Analysis and Simulation Tools for Real-Time Control
KarUErik
Hybrid Systems
Automatic Rectangular Refinement of
Laurent Doyen, Thomas A. Henzinger,
Reachability Problems on Extended O-Minimal Hybrid Automata
Raffaella Gentilini
Counterexamples for Timed Probabilistic Reachability
Husain Aljazzar, Holger Hermanns, Stefan
Petri Nets
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of
Time Petri Nets
Thomas
Comparison of the Expressiveness of Timed Automata and Time Petri
Nets
Beatrice
Olivier
Semantics
Quantifying Similarities Between Timed Systems
Thomas A. Henzinger, Rupak Majumdar,
-
Performance of Pipelined Asynchronous Systems
Flavio
Table of
Is Timed Branching BMmilarity an Equivalence Indeed?
Wan FokMnk, Jun Pang, Anton Wijs
Semantics and Modelling
Implementation of Timed Automata: An Issue of Semantics or
Modeling?
Karine Altisen, Stavros Tripakis
Timed Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV021283717 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 550f |
| ctrlnum | (OCoLC)634537282 (DE-599)BVBBV021283717 |
| 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">BV021283717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060109s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N50,0020</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977134385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540309468</subfield><subfield code="9">978-3-540-30946-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540309462</subfield><subfield code="c">: EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)</subfield><subfield code="9">3-540-30946-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540309468</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11603009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634537282</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021283717</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</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 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">third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers</subfield><subfield code="c">Paul Pettersson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 303 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">3829</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">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">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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2005</subfield><subfield code="z">Uppsala</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">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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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">Pettersson, Paul</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">3</subfield><subfield code="d">2005</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10123567-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">3829</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3829</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014604673&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-014604673</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Uppsala gnd-content |
| genre_facet | Konferenzschrift 2005 Uppsala |
| id | DE-604.BV021283717 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:47:53Z |
| indexdate | 2025-01-10T15:08:19Z |
| institution | BVB |
| institution_GND | (DE-588)10123567-7 |
| isbn | 9783540309468 3540309462 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014604673 |
| oclc_num | 634537282 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706 |
| physical | IX, 303 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| 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 third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.) Berlin [u.a.] Springer 2005 IX, 303 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3829 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 Temporale Logik (DE-588)4137542-7 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Uppsala 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 Temporale Logik (DE-588)4137542-7 s Formale Semantik (DE-588)4122144-8 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Pettersson, Paul Sonstige oth FORMATS 3 2005 Uppsala Sonstige (DE-588)10123567-7 oth Lecture Notes in Computer Science 3829 (DE-604)BV000000607 3829 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Lecture Notes in Computer Science Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Formale Semantik (DE-588)4122144-8 gnd Hybrides System (DE-588)4510314-8 gnd |
| subject_GND | (DE-588)4713349-1 (DE-588)4333722-3 (DE-588)4127297-3 (DE-588)4137542-7 (DE-588)4545188-6 (DE-588)4122144-8 (DE-588)4510314-8 (DE-588)1071861417 |
| title | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |
| title_auth | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |
| title_exact_search | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |
| title_exact_search_txtP | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |
| title_full | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.) |
| title_fullStr | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.) |
| title_full_unstemmed | Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.) |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems third international conference formats 2005 uppsala sweden september 26 28 2005 revised selected papers |
| title_sub | third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers |
| topic | Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Formale Semantik (DE-588)4122144-8 gnd Hybrides System (DE-588)4510314-8 gnd |
| topic_facet | Zeitbehafteter Automat Formale Methode Zeitdiskretes System Temporale Logik Zeitbewertetes Petri-Netz Formale Semantik Hybrides System Konferenzschrift 2005 Uppsala |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT petterssonpaul formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005revisedselectedpapers AT formatsuppsala formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005revisedselectedpapers |