Verfügbarkeit: Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7595
Schlagworte:	Echtzeitsystem Formale Methode Zeitbehafteter Automat Zeitdiskretes System Hybrides System Verifikation Spezifikation Konferenzschrift
Online-Zugang:	Volltext
Beschreibung:	1 Online-Ressource (X, 266 S.) graph. Darst. 235 mm x 155 mm
ISBN:	3642333648 9783642333651
DOI:	10.1007/978-3-642-33365-1

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040551575
003	DE-604
005	20130215
007	cr\|uuu---uuuuu
008	121120s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 12,N34 \|2 dnb
020			\|a 3642333648 \|9 3-642-33364-8
020			\|a 9783642333651 \|c eISBN \|9 978-3-642-33365-1
024	7		\|a 10.1007/978-3-642-33365-1 \|2 doi
024	3		\|a 9783642333644
028	5	2	\|a Best.-Nr.: 86157484
035			\|a (OCoLC)812051745
035			\|a (DE-599)BVBBV040551575
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-19 \|a DE-355 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634 \|a DE-706
084			\|a DAT 516f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Formal modeling and analysis of timed systems \|b 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings \|c Marcin Jurdziński ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a 1 Online-Ressource (X, 266 S.) \|b graph. Darst. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7595
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 Jurdziński, Marcin \|e Sonstige \|4 oth
711	2		\|a FORMATS \|n 10 \|d 2012 \|c London \|j Sonstige \|0 (DE-588)1026453739 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-33364-4
830		0	\|a Lecture notes in computer science \|v 7595 \|w (DE-604)BV014880109 \|9 7595
856	4	0	\|u https://doi.org/10.1007/978-3-642-33365-1 \|x Verlag \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025397350

Datensatz im Suchindex

_version_	1820875434042064896
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV040551575
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 550f DAT 000
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)812051745 (DE-599)BVBBV040551575
discipline	Informatik
doi_str_mv	10.1007/978-3-642-33365-1
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">BV040551575</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130215</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">121120s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642333648</subfield><subfield code="9">3-642-33364-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642333651</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-33365-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-33365-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642333644</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86157484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812051745</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040551575</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-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</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-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-706</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">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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings</subfield><subfield code="c">Marcin Jurdziński ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 266 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">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">7595</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">Jurdziński, Marcin</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">10</subfield><subfield code="d">2012</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1026453739</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, Paperback</subfield><subfield code="z">978-3-642-33364-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7595</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7595</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-33365-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025397350</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV040551575
illustrated	Illustrated
indexdate	2025-01-10T15:15:34Z
institution	BVB
institution_GND	(DE-588)1026453739
isbn	3642333648 9783642333651
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025397350
oclc_num	812051745
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 DE-706
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 DE-706
physical	1 Online-Ressource (X, 266 S.) graph. Darst. 235 mm x 155 mm
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
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 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings Marcin Jurdziński ... (eds.) Berlin [u.a.] Springer 2012 1 Online-Ressource (X, 266 S.) graph. Darst. 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7595 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 Jurdziński, Marcin Sonstige oth FORMATS 10 2012 London Sonstige (DE-588)1026453739 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-33364-4 Lecture notes in computer science 7595 (DE-604)BV014880109 7595 https://doi.org/10.1007/978-3-642-33365-1 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; 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 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings
title_auth	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings
title_exact_search	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings
title_full	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings Marcin Jurdziński ... (eds.)
title_fullStr	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings Marcin Jurdziński ... (eds.)
title_full_unstemmed	Formal modeling and analysis of timed systems 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings Marcin Jurdziński ... (eds.)
title_short	Formal modeling and analysis of timed systems
title_sort	formal modeling and analysis of timed systems 10th international conference formats 2012 london uk september 18 20 2012 proceedings
title_sub	10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; 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
url	https://doi.org/10.1007/978-3-642-33365-1
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT jurdzinskimarcin formalmodelingandanalysisoftimedsystems10thinternationalconferenceformats2012londonukseptember18202012proceedings AT formatslondon formalmodelingandanalysisoftimedsystems10thinternationalconferenceformats2012londonukseptember18202012proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge