Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9884 |
| Schlagworte: | |
| Beschreibung: | XII, 244 Seiten Diagramme |
| ISBN: | 9783319448770 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043751990 | ||
| 003 | DE-604 | ||
| 005 | 20161110 | ||
| 007 | t| | ||
| 008 | 160905s2016 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319448770 |9 978-3-319-44877-0 | ||
| 035 | |a (OCoLC)958374621 | ||
| 035 | |a (DE-599)BVBBV043751990 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 111 | 2 | |a FORMATS |n 14. |d 2016 |c Québec |j Verfasser |0 (DE-588)1113751509 |4 aut | |
| 245 | 1 | 0 | |a Formal modeling and analysis of timed systems |b 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings |c Martin Fränzle, Nicolas Markey (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 300 | |a XII, 244 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9884 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Applications | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 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 |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 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Fränzle, Martin |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-44878-7 |
| 830 | 0 | |a Lecture notes in computer science |v 9884 |w (DE-604)BV000000607 |9 9884 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029163537 | |
Datensatz im Suchindex
| _version_ | 1820875690777509888 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Fränzle, Martin |
| author2_role | edt |
| author2_variant | m f mf |
| author_corporate | FORMATS Québec |
| author_corporate_role | aut |
| author_facet | Fränzle, Martin FORMATS Québec |
| author_sort | FORMATS Québec |
| building | Verbundindex |
| bvnumber | BV043751990 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)958374621 (DE-599)BVBBV043751990 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| 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 a2200000zcb4500</leader><controlfield tag="001">BV043751990</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161110</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160905s2016 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319448770</subfield><subfield code="9">978-3-319-44877-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)958374621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043751990</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">14.</subfield><subfield code="d">2016</subfield><subfield code="c">Québec</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1113751509</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal modeling and analysis of timed systems</subfield><subfield code="b">14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings</subfield><subfield code="c">Martin Fränzle, Nicolas Markey (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 244 Seiten</subfield><subfield code="b">Diagramme</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">9884</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fränzle, Martin</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-44878-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9884</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9884</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029163537</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043751990 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:39Z |
| institution | BVB |
| institution_GND | (DE-588)1113751509 |
| isbn | 9783319448770 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029163537 |
| oclc_num | 958374621 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XII, 244 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FORMATS 14. 2016 Québec Verfasser (DE-588)1113751509 aut Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings Martin Fränzle, Nicolas Markey (eds.) [Cham] Springer [2016] XII, 244 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9884 Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Zeitbehafteter Automat (DE-588)4713349-1 s Verifikation (DE-588)4135577-5 s Spezifikation (DE-588)4139161-5 s Formale Methode (DE-588)4333722-3 s Hybrides System (DE-588)4510314-8 s Zeitdiskretes System (DE-588)4127297-3 s Echtzeitsystem (DE-588)4131397-5 s 1\p DE-604 Fränzle, Martin edt Erscheint auch als Online-Ausgabe 978-3-319-44878-7 Lecture notes in computer science 9884 (DE-604)BV000000607 9884 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings Lecture notes in computer science Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik 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 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings |
| title_auth | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings |
| title_exact_search | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings |
| title_full | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings Martin Fränzle, Nicolas Markey (eds.) |
| title_fullStr | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings Martin Fränzle, Nicolas Markey (eds.) |
| title_full_unstemmed | Formal modeling and analysis of timed systems 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings Martin Fränzle, Nicolas Markey (eds.) |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems 14th international conference formats 2016 quebec qc canada august 24 26 2016 proceedings |
| title_sub | 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings |
| topic | Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik 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 | Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Echtzeitsystem Formale Methode Zeitbehafteter Automat Zeitdiskretes System Hybrides System Verifikation Spezifikation Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT formatsquebec formalmodelingandanalysisoftimedsystems14thinternationalconferenceformats2016quebecqccanadaaugust24262016proceedings AT franzlemartin formalmodelingandanalysisoftimedsystems14thinternationalconferenceformats2016quebecqccanadaaugust24262016proceedings |