Verfügbarkeit: Stochastic model checking | Technische Universität München

Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Remke, Anne 1980- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin Springer 2014
Schriftenreihe:	Lecture notes in computer science 8453 : Tutorial
Schlagwörter:	Stochastisches System Model Checking Mathematisches Modell Konferenzschrift
Links:	https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 https://doi.org/10.1007/978-3-662-45489-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	1 Online-Ressource (VII, 280 S.) graph. Darst.
ISBN:	9783662454893
DOI:	10.1007/978-3-662-45489-3

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV042206296
003	DE-604
007	cr\|uuu---uuuuu
008	141125s2014 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783662454893 \|c Online \|9 978-3-662-45489-3
024	7		\|a 10.1007/978-3-662-45489-3 \|2 doi
035			\|a (OCoLC)897387318
035			\|a (DE-599)BVBBV042206296
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-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
082	0		\|a 510
084			\|a 004 \|2 sdnb
245	1	0	\|a Stochastic model checking \|b rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures \|c Anne Remke ... (eds.)
264		1	\|a Berlin \|b Springer \|c 2014
300			\|a 1 Online-Ressource (VII, 280 S.) \|b 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 8453 : Tutorial
650	0	7	\|a Stochastisches System \|0 (DE-588)4057635-8 \|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 Mathematisches Modell \|0 (DE-588)4114528-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Stochastisches System \|0 (DE-588)4057635-8 \|D s
689	0	1	\|a Mathematisches Modell \|0 (DE-588)4114528-8 \|D s
689	0	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Remke, Anne \|d 1980- \|0 (DE-588)135805562 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-662-45488-6
830		0	\|a Lecture notes in computer science \|v 8453 : Tutorial \|w (DE-604)BV014880109 \|9 8453
856	4	0	\|u https://doi.org/10.1007/978-3-662-45489-3 \|x Verlag \|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=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
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=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027645070
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-45489-3 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2042991
_version_	1821935286972579841
adam_text	STOCHASTIC MODEL CHECKING. RIGOROUS DEPENDABILITY ANALYSIS USING MODEL CHECKING TECHNIQUES FOR STOCHASTIC SYSTEMS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS THE TREE AREAS OF STOCHASTIC MODELS ABSTRACTION TECHNIQUES STOCHASTIC MODEL CHECKING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. STOCHASTIC MODEL CHECKING. RIGOROUS DEPENDABILITY ANALYSIS USING MODEL CHECKING TECHNIQUES FOR STOCHASTIC SYSTEMS / : 2014 ABSTRACT / INHALTSTEXT THE USE OF STOCHASTIC MODELS IN COMPUTER SCIENCE IS WIDE SPREAD, FOR INSTANCE IN PERFORMANCE MODELING, ANALYSIS OF RANDOMIZED ALGORITHMS AND COMMUNICATION PROTOCOLS WHICH FORM THE STRUCTURE OF THE INTERNET. STOCHASTIC MODEL CHECKING IS AN IMPORTANT FIELD IN STOCHASTIC ANALYSIS. IT HAS RAPIDLY GAINED POPULARITY, DUE TO ITS POWERFUL AND SYSTEMATIC METHODS TO MODEL AND ANALYZE STOCHASTIC SYSTEMS. THIS BOOK PRESENTS 7 TUTORIAL LECTURES GIVEN BY LEADING SCIENTISTS AT THE ROCKS AUTUMN SCHOOL ON STOCHASTIC MODEL CHECKING, HELD IN VAHRN, ITALY, IN OCTOBER 2012. THE 7 CHAPTERS OF THIS TUTORIAL WENT THROUGH TWO ROUNDS OF REVIEWING AND IMPROVEMENT AND ARE SUMMARIZING THE STATE-OF-THE-ART IN THE FIELD, CENTERED AROUND THE TREE AREAS OF STOCHASTIC MODELS, ABSTRACTION TECHNIQUES AND STOCHASTIC MODEL CHECKING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Remke, Anne 1980-
author2_role	edt
author2_variant	a r ar
author_GND	(DE-588)135805562
author_facet	Remke, Anne 1980-
building	Verbundindex
bvnumber	BV042206296
classification_rvk	SS 4800
collection	ZDB-2-LNC
ctrlnum	(OCoLC)897387318 (DE-599)BVBBV042206296
dewey-full	510
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	510 - Mathematics
dewey-raw	510
dewey-search	510
dewey-sort	3510
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-662-45489-3
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV042206296</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">141125s2014 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662454893</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-45489-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-45489-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897387318</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042206296</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-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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Stochastic model checking</subfield><subfield code="b">rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures</subfield><subfield code="c">Anne Remke ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 280 S.)</subfield><subfield code="b">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">8453 : Tutorial</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</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">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Remke, Anne</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)135805562</subfield><subfield code="4">edt</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-662-45488-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8453 : Tutorial</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8453</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-45489-3</subfield><subfield code="x">Verlag</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=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027645070</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-45489-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-662-45489-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-662-45489-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-662-45489-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-662-45489-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://doi.org/10.1007/978-3-662-45489-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-662-45489-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-662-45489-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-662-45489-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-662-45489-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-662-45489-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-662-45489-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-662-45489-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 gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV042206296
illustrated	Illustrated
indexdate	2025-01-11T19:07:40Z
institution	BVB
isbn	9783662454893
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027645070
oclc_num	897387318
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
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
physical	1 Online-Ressource (VII, 280 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Lecture notes in computer science Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd
subject_GND	(DE-588)4057635-8 (DE-588)4434799-6 (DE-588)4114528-8 (DE-588)1071861417
title	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
title_auth	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
title_exact_search	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
title_full	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.)
title_fullStr	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.)
title_full_unstemmed	Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.)
title_short	Stochastic model checking
title_sort	stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems international autumn school rocks 2012 vahrn italy october 22 26 2012 advanced lectures
title_sub	rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
topic	Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd
topic_facet	Stochastisches System Model Checking Mathematisches Modell Konferenzschrift
url	https://doi.org/10.1007/978-3-662-45489-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT remkeanne stochasticmodelcheckingrigorousdependabilityanalysisusingmodelcheckingtechniquesforstochasticsystemsinternationalautumnschoolrocks2012vahrnitalyoctober22262012advancedlectures

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen
Inhaltsverzeichnis