Formal modeling and analysis of timed systems: 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5813 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 290 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642043673 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035723463 | ||
| 003 | DE-604 | ||
| 005 | 20091211 | ||
| 007 | t| | ||
| 008 | 090914s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N36,0045 |2 dnb | ||
| 016 | 7 | |a 995948194 |2 DE-101 | |
| 020 | |a 9783642043673 |c PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-04367-3 | ||
| 024 | 3 | |a 9783642043673 | |
| 028 | 5 | 2 | |a 12757145 |
| 035 | |a (OCoLC)436030820 | ||
| 035 | |a (DE-599)DNB995948194 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.C65 | |
| 082 | 0 | |a 004 | |
| 084 | |a DAT 510f |2 stub | ||
| 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 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings |c Joel Ouaknine ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 290 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5813 | |
| 650 | 4 | |a Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009> | |
| 650 | 4 | |a Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009> | |
| 650 | 4 | |a Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009> | |
| 650 | 4 | |a Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009> | |
| 650 | 4 | |a Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009> | |
| 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 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 2009 |z Budapest |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 Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | 1 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 3 | 2 | |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 Ouaknine, Joël |e Sonstige |4 oth | |
| 711 | 2 | |a FORMATS |n 7 |d 2009 |c Budapest |j Sonstige |0 (DE-588)16177441-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5813 |w (DE-604)BV000000607 |9 5813 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018000192 | |
Datensatz im Suchindex
| _version_ | 1820875166740119552 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
TAPAS: THEORY COMBINATIONS AND PRACTICAL APPLICATIONS (INVITED TALK) 1
NIKOLAJ BJ0RNER AND LEONARDO DE MOURA
MAX-PLUS ALGEBRAIC TOOLS FOR DISCRETE EVENT SYSTEMS, STATIC ANALYSIS.
AND ZERO-SUM GAMES (INVITED TALK) 7
STEPHANE GAUBERT
APPROXIMATIONS OF DISCRETE, CONTINUOUS, AND HYBRID SYSTEMS (INVITED
TALK) 12
GEORGE J. PAPPAS
VOLUME AND ENTROPY OF REGULAR TIMED LANGUAGES: ANALYTIC APPROACH 13
EUGENE ASARIN AND ALDRIC DEGORRE
SYNTHESIS OF NON-INTERFERENT TIMED SYSTEMS 28
GILLES BENATTAR, FRANCK CASSEZ, DIDIER LIME, AND OLIVIER H. ROUX
CRITICAL PATHS IN THE PARTIAL ORDER UNFOLDING OF A STOCHASTIC PETRI NET
43
ANNE BOUILLARD, STEFAN HAAR, AND SIDNEY ROSARIO
SPEEDING UP MODEL CHECKING OF TIMED-MODELS BY COMBINING SCENARIO
SPECIALIZATION AND LIVE COMPONENT ANALYSIS 58
VICTOR BRABERMAN, DIEGO GARBERVESTKY, NICOLAS KICILLOF, DANIEL
MONTEVERDE, AND ALFREDO OLIVERO
EFFICIENT ON-THE-FLY ALGORITHM FOR CHECKING ALTERNATING TIMED SIMULATION
73
PETER BULYCHEV, THOMAS CHATAIN, ALEXANDRE DAVID, AND KIM G. LARSEN
MODEL CHECKING LOGIC WCTL WITH MULTI CONSTRAINED MODALITIES ON ONE CLOCK
PRICED TIMED AUTOMATA 88
ASHISH CHIPLUNKAR, SHANKARA NARAYANAN KRISHNA, AND CHIN-MAY JAIN
SAFE RUNTIME VERIFICATION OF REAL-TIME PROPERTIES 103
CHRISTIAN COLOMBO, GORDON J. PACE, AND GERARDO SCHNEIDER
REMOVING ALL SILENT TRANSITIONS FROM TIMED AUTOMATA 118
CAETAELIN DIMA AND RUGGERO LANOTTE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/995948194
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
REALIZABILITY OF REAL-TIME LOGICS 133
LAURENT DOYEN, GILLES GEERAERTS, JEAN-FRANCOIS RASKIN, AND JULIEN
REICHERT
REVISITING DECIDABILITY AND OPTIMUM REACHABILITY FOR MULTI-PRICED TIMED
AUTOMATA 149
MARTIN FRAENZLE AND MANI SWAMINATHAN
ANALYZING REAL-TIME EVENT-DRIVEN PROGRAMS 164
PIERRE GANTY AND RUPAK MAJUMDAR
A COMPOSITIONAL TRANSLATION OF TIMED AUTOMATA WITH DEADLINES TO UPPAAL
TIMED AUTOMATA 179
RODOLFO GOMEZ
COMPOSITIONAL ABSTRACTION FOR STOCHASTIC SYSTEMS 195
JOOST-PIETER KATOEN, DANIEL KLINK, AND MARTIN R. NEUHAEUSSER
S T O C H A S T IC G A M ES F OR V E R I F I C A T I ON OF P R O B A B I
L I S T IC T I M ED A U T O M A TA . . . 2 12
MARTA KWIATKOWSKA, GETHIN NORMAN, AND DAVID PARKER
CHECKING TIMED BUCHI AUTOMATA EMPTINESS USING LU-ABSTRACTIONS . . . 228
GUANGYUAN LI
ON THE SUPPORTS OF RECOGNIZABLE TIMED SERIES 243
KARIN QUAAS
MACHINE-ASSISTED PARAMETER SYNTHESIS OF THE BIPHASE MARK PROTOCOL USING
EVENT ORDER ABSTRACTION 258
SHINYA UMENO
EXPLOITING TIMED AUTOMATA FOR CONFORMANCE TESTING OF POWER MEASUREMENTS
275
MATTHIAS WOEHRLE. KAI LAMPKA, AND LOTHAR THIELE
AUTHOR INDEX 291 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035723463 |
| 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 510f DAT 260f DAT 550f |
| ctrlnum | (OCoLC)436030820 (DE-599)DNB995948194 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035723463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090914s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N36,0045</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">995948194</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642043673</subfield><subfield code="c">PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04367-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642043673</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12757145</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)436030820</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB995948194</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</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">004</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 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">7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings</subfield><subfield code="c">Joel Ouaknine ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 290 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5813</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009></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">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">2009</subfield><subfield code="z">Budapest</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><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="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="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">Ouaknine, Joël</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">7</subfield><subfield code="d">2009</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16177441-6</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">5813</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5813</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000192&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-018000192</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Budapest gnd-content |
| genre_facet | Konferenzschrift 2009 Budapest |
| id | DE-604.BV035723463 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:19Z |
| institution | BVB |
| institution_GND | (DE-588)16177441-6 |
| isbn | 9783642043673 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018000192 |
| oclc_num | 436030820 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | X, 290 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| 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 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Joel Ouaknine ... (eds.) Berlin [u.a.] Springer 2009 X, 290 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5813 Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009> Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009> Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009> Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009> Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009> 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 Model Checking (DE-588)4434799-6 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Budapest 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 Model Checking (DE-588)4434799-6 s Temporale Logik (DE-588)4137542-7 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Ouaknine, Joël Sonstige oth FORMATS 7 2009 Budapest Sonstige (DE-588)16177441-6 oth Lecture notes in computer science 5813 (DE-604)BV000000607 5813 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Lecture notes in computer science Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009> Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009> Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009> Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009> Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009> 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 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)4434799-6 (DE-588)4545188-6 (DE-588)1071861417 |
| title | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings |
| title_auth | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings |
| title_exact_search | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings |
| title_full | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Joel Ouaknine ... (eds.) |
| title_fullStr | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Joel Ouaknine ... (eds.) |
| title_full_unstemmed | Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings Joel Ouaknine ... (eds.) |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems 7th international conference formats 2009 budapest hungary september 14 16 2009 proceedings |
| title_sub | 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings |
| topic | Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009> Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009> Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009> Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009> Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009> 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 Model Checking (DE-588)4434799-6 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| topic_facet | Hybrides System - Echtzeitsystem - Formale Methode - Kongress - Budapest <2009> Model Checking - Temporale Logik - Formale Methode - Kongress - Budapest <2009> Zeitbehafteter Automat - Formale Methode - Kongress - Budapest <2009> Zeitbewertetes Petri-Netz - Formale Methode - Kongress - Budapest <2009> Zeitdiskretes System - Formale Methode - Kongress - Budapest <2009> 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 Model Checking Zeitbewertetes Petri-Netz Konferenzschrift 2009 Budapest |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000192&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ouakninejoel formalmodelingandanalysisoftimedsystems7thinternationalconferenceformats2009budapesthungaryseptember14162009proceedings AT formatsbudapest formalmodelingandanalysisoftimedsystems7thinternationalconferenceformats2009budapesthungaryseptember14162009proceedings |