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:	Tagungsbericht Buch
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 > 2012 > London
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 266 S. graph. Darst. 235 mm x 155 mm
ISBN:	3642333648 9783642333644

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040451344
003	DE-604
005	20130215
007	t
008	121002s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N34 \|2 dnb
016	7		\|a 102519876X \|2 DE-101
020			\|a 3642333648 \|9 3-642-33364-8
020			\|a 9783642333644 \|c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) \|9 978-3-642-33364-4
024	3		\|a 9783642333644
028	5	2	\|a Best.-Nr.: 86157484
035			\|a (OCoLC)815941149
035			\|a (DE-599)DNB102519876X
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 004.0151135 \|2 22/ger
082	0		\|a 004.33 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 516f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|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 X, 266 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 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 \|y 2012 \|z London \|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 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 Online-Ausgabe \|z 978-3-642-33365-1
830		0	\|a Lecture notes in computer science \|v 7595 \|w (DE-604)BV000000607 \|9 7595
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4101897&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=025298994&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025298994

Datensatz im Suchindex

_version_	1807953871595634688
adam_text	IMAGE 1 T A B L E O F C O N T E N T S I N V I T E D T A L K S MODEL-DRIVEN DESIGN-SPACE EXPLORATION FOR SOFTWARE-INTENSIVE EMBEDDED SYSTEMS (EXTENDED ABSTRACT) TWAN BASTEN, MARTIJN HENDRIKS, LOU SOMERS, A N D NIKOLA TRCKA STATISTICAL MODEL CHECKING, REFINEMENT CHECKING, OPTIMIZATION, . . . FOR STOCHASTIC HYBRID SYSTEMS K I M G. LARSEN R E G U L A R P A P E R S ROBUSTNESS OF TIME PETRI NETS UNDER ARCHITECTURAL CONSTRAINTS S. AKSHAY, LO'IC HELOUET, CLAUDE JARD, DIDIER LIME, AND OLIVIER H. R O U X TOWARD A TIMED THEORY OF CHANNEL CODING EUGENE A SARIN, NICOLAS BASSET, MARIE-PIERRE BEAL, ALDRIC DEGORRE, AND DOMINIQUE PERRIN PLAYING OPTIMALLY ON TIMED AUTOMATA WITH RANDOM DELAYS NATHALIE BERTRAND A N D SVEN SCHEME DYNAMICALLY-DRIVEN TIMED AUTOMATON ABSTRACTIONS FOR PROVING LIVENESS OF CONTINUOUS SYSTEMS REBEKAH CARTER AND E V A M. NAVARRO-LOPEZ REVISITING TIMED SPECIFICATION THEORIES: A LINEAR-TIME PERSPECTIVE CHRIS CHILTON, M A R I A KWIATKOWSKA, AND X U WANG MULTI-CORE REACHABILITY FOR TIMED AUTOMATA ANDREAS E. DALSGAARD, ALFONS LAARMAN, K I M G. LARSEN, MADS CHR. OLESEN, AND JACO VAN DE POL COUNTEREXAMPLE-GUIDED SYNTHESIS OF OBSERVATION PREDICATES RAYNA DIMITROVA AND BEMD, FINKBEINER CONFIDENCE BOUNDS FOR STATISTICAL MODEL CHECKING OF PROBABILISTIC HYBRID SYSTEMS CHRISTIAN ELLEN, SEBASTIAN GERWINN, AND M A R T I N FRANZLE REGION-BASED ANALYSIS OF HYBRID PETRI NETS WITH A SINGLE GENERAL ONE-SHOT TRANSITION HAMED GHASEMIEH, A N N E REMKE, BOUDEWIJN HAVERKORT, AND MARCO GRIBAUDO 1 7 11 27 43 59 75 91 107 123 139 HTTP://D-NB.INFO/102519876X IMAGE 2 X T A B L E O F C O N T E N T S REDUCING QUASI-EQUAL CLOCKS IN NETWORKS OF TIMED AUTOMATA 155 CHRISTIAN HERRERA. B E R N D WESTPHAL, SERGIO FEO-ARENIS, MARCO MUNIZ, AND ANDREAS PODELSKI SMT-BASED INDUCTION METHODS FOR TIMED SYSTEMS 171 ROLAND KINDERMANN. TOMRNI JUNTTILA, AND ILKKA NIEMELD TIMED AUTOMATA WITH DISJOINT ACTIVITY 188 MARCO MUNIZ, B E R N D WESTPHAL, AND ANDREAS PODELSKI THE COMPLEXITY OF BOUNDED SYNTHESIS FOR TIMED CONTROL WITH PARTIAL OBSERVABILITY 204 H A N S - J ORG PETER AND B E R N D FINKBEINER STATIC DETECTION OF ZENO RUNS IN UPPAAL NETWORKS BASED ON SYNCHRONIZATION MATRICES AND TWO DATA-VARIABLE HEURISTICS 220 JONAS R I N A S T AND SIBYLLE SCHUPP FREQUENCIES IN FORGETFUL TIMED AUTOMATA 236 AMELIE STAINER MCTA: HEURISTICS AND SEARCH FOR TIMED SYSTEMS 252 MARTIN WEHRLE AND SEBASTIAN KUPFERSCHMID A U T H O R I N D E X 267
any_adam_object	1
building	Verbundindex
bvnumber	BV040451344
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 550f
ctrlnum	(OCoLC)815941149 (DE-599)DNB102519876X
dewey-full	004.0151135 004.33
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151135 004.33
dewey-search	004.0151135 004.33
dewey-sort	14.0151135
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">BV040451344</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130215</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121002s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">102519876X</subfield><subfield code="2">DE-101</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">9783642333644</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-33364-4</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)815941149</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB102519876X</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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="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">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">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">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="y">2012</subfield><subfield code="z">London</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">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">Online-Ausgabe</subfield><subfield code="z">978-3-642-33365-1</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)BV000000607</subfield><subfield code="9">7595</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4101897&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025298994&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-025298994</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 London gnd-content
genre_facet	Konferenzschrift 2012 London
id	DE-604.BV040451344
illustrated	Illustrated
indexdate	2024-08-21T00:12:50Z
institution	BVB
institution_GND	(DE-588)1026453739
isbn	3642333648 9783642333644
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025298994
oclc_num	815941149
open_access_boolean
owner	DE-706 DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-83 DE-11 DE-91G DE-BY-TUM
physical	X, 266 S. graph. Darst. 235 mm x 155 mm
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 X, 266 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc 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 2012 London 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 DE-604 Jurdziński, Marcin Sonstige oth FORMATS 10 2012 London Sonstige (DE-588)1026453739 oth Erscheint auch als Online-Ausgabe 978-3-642-33365-1 Lecture notes in computer science 7595 (DE-604)BV000000607 7595 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4101897&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025298994&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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 2012 London
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4101897&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025298994&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
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! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge