Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham [u.a.]
Springer
2014
|
| Series: | Lecture notes in computer science
8711 |
| Subjects: | |
| Online Access: | DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-863 DE-862 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Abstract |
| Physical Description: | 1 Online-Ressource (X, 251 S.) Ill., graph. Darst. |
| ISBN: | 9783319105123 |
| DOI: | 10.1007/978-3-319-10512-3 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042121936 | ||
| 003 | DE-604 | ||
| 005 | 20230301 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141016s2014 xx ad|| o|||| 10||| eng d | ||
| 020 | |a 9783319105123 |c Online |9 978-3-319-10512-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-10512-3 |2 doi | |
| 035 | |a (OCoLC)890034941 | ||
| 035 | |a (DE-599)BVBBV042121936 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 |a DE-862 |a DE-863 |a DE-Aug4 | ||
| 082 | 0 | |a 004.33 |2 22//ger | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Formal modeling and analysis of timed systems |b 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings |c Axel Legay ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (X, 251 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8711 | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |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 Zeitbehafteter Automat |0 (DE-588)4713349-1 |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 Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Florenz |2 gnd-content | |
| 689 | 0 | 0 | |a Zeitbehafteter Automat |0 (DE-588)4713349-1 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 4 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 0 | 5 | |a Zeitdiskretes System |0 (DE-588)4127297-3 |D s |
| 689 | 0 | 6 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Legay, Axel |4 edt | |
| 711 | 2 | |a FORMATS |n 12 |d 2014 |c Florenz |j Sonstige |0 (DE-588)1058510169 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-10511-6 |
| 830 | 0 | |a Lecture notes in computer science |v 8711 |w (DE-604)BV014880109 |9 8711 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-10512-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027562148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-30-PQE | ||
| 940 | 1 | |q ZDB-2-LNC_2014 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027562148 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/fhws/detail.action?docID=6303952 |l DE-863 |p ZDB-30-PQE |x Aggregator |3 Volltext | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/fhws/detail.action?docID=6303952 |l DE-862 |p ZDB-30-PQE |x Aggregator |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10512-3 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 1028015 |
|---|---|
| _version_ | 1824553667531898880 |
| adam_text |
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 12TH INTERNATIONAL
CONFERENCE ON FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS
2014, HELD IN FLORENCE, ITALY, IN SEPTEMBER 2014. THE 17 REVISED FULL
PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 36
SUBMISSIONS. THE PAPERS COVER TOPICS OF FOUNDATIONS AND SEMANTICS;
COMPARISON BETWEEN DIFFERENT MODELS, SUCH AS TIMED AUTOMATA, TIMED PETRI
NETS, HYBRID AUTOMATA, TIMED PROCESS ALGEBRA, MAX-PLUS ALGEBRA,
PROBABILISTIC MODELS; METHODS AND TOOLS FOR ANALYZING TIMED SYSTEMS AND
RESOLVING TEMPORAL CONSTRAINTS; APPLICATIONS IN REAL-TIME SOFTWARE,
HARDWARE CIRCUITS, AND PROBLEMS OF SCHEDULING IN MANUFACTURING AND
TELECOMMUNICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Legay, Axel |
| author2_role | edt |
| author2_variant | a l al |
| author_facet | Legay, Axel |
| building | Verbundindex |
| bvnumber | BV042121936 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f DAT 550f |
| collection | ZDB-2-LNC ZDB-30-PQE |
| ctrlnum | (OCoLC)890034941 (DE-599)BVBBV042121936 |
| dewey-full | 004.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.33 |
| dewey-search | 004.33 |
| dewey-sort | 14.33 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-10512-3 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV042121936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230301</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141016s2014 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319105123</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-10512-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-10512-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890034941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042121936</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.33</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</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">12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings</subfield><subfield code="c">Axel Legay ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 251 S.)</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8711</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">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">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">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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-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">2014</subfield><subfield code="z">Florenz</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="4"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><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="6"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Legay, Axel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">12</subfield><subfield code="d">2014</subfield><subfield code="c">Florenz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058510169</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-319-10511-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8711</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8711</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027562148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2014</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027562148</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/fhws/detail.action?docID=6303952</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-30-PQE</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/fhws/detail.action?docID=6303952</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-30-PQE</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10512-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Florenz gnd-content |
| genre_facet | Konferenzschrift 2014 Florenz |
| id | DE-604.BV042121936 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T06:39:31Z |
| institution | BVB |
| institution_GND | (DE-588)1058510169 |
| isbn | 9783319105123 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027562148 |
| oclc_num | 890034941 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-Aug4 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-Aug4 |
| physical | 1 Online-Ressource (X, 251 S.) Ill., graph. Darst. |
| psigel | ZDB-2-LNC ZDB-30-PQE ZDB-2-LNC_2014 |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Formale Methode (DE-588)4333722-3 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Hybrides System (DE-588)4510314-8 gnd Verifikation (DE-588)4135577-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4333722-3 (DE-588)4713349-1 (DE-588)4127297-3 (DE-588)4510314-8 (DE-588)4135577-5 (DE-588)4139161-5 (DE-588)1071861417 |
| title | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings |
| title_auth | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings |
| title_exact_search | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings |
| title_full | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings Axel Legay ... (eds.) |
| title_fullStr | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings Axel Legay ... (eds.) |
| title_full_unstemmed | Formal modeling and analysis of timed systems 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings Axel Legay ... (eds.) |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems 12th international conference formats 2014 florence italy september 8 10 2014 proceedings |
| title_sub | 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings |
| topic | Echtzeitsystem (DE-588)4131397-5 gnd Formale Methode (DE-588)4333722-3 gnd Zeitbehafteter Automat (DE-588)4713349-1 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Hybrides System (DE-588)4510314-8 gnd Verifikation (DE-588)4135577-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Echtzeitsystem Formale Methode Zeitbehafteter Automat Zeitdiskretes System Hybrides System Verifikation Spezifikation Konferenzschrift 2014 Florenz |
| url | https://doi.org/10.1007/978-3-319-10512-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027562148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT legayaxel formalmodelingandanalysisoftimedsystems12thinternationalconferenceformats2014florenceitalyseptember8102014proceedings AT formatsflorenz formalmodelingandanalysisoftimedsystems12thinternationalconferenceformats2014florenceitalyseptember8102014proceedings |