Verfügbarkeit: Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2006
Schriftenreihe:	Lecture notes in computer science 4202
Schlagworte:	Zeitbehafteter Automat Formale Methode Hybrides System Echtzeitsystem Zeitdiskretes System Temporale Logik Hartes Echtzeitsystem Model Checking Zeitbewertetes Petri-Netz Konferenzschrift > 2006 > Paris
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-355 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (XI, 367 S.) graph. Darst.
ISBN:	3540450262 9783540450269
DOI:	10.1007/11867340

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022368713
003	DE-604
005	20080425
007	cr\|uuu---uuuuu
008	070328s2006 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 06,N37,0027 \|2 dnb
020			\|a 3540450262 \|c : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.) \|9 3-540-45026-2
020			\|a 9783540450269 \|c : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.) \|9 978-3-540-45026-9
024	7		\|a 10.1007/11867340 \|2 doi
024	3		\|a 9783540450269
028	5	2	\|a 11867340
035			\|a (OCoLC)255611909
035			\|a (DE-599)BVBBV022368713
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-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 004.0151
084			\|a 004 \|2 sdnb
084			\|a DAT 260f \|2 stub
084			\|a DAT 550f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Formal modeling and analysis of timed systems \|b 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings \|c Eugene Asarin ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2006
300			\|a 1 Online-Ressource (XI, 367 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 4202
650	0	7	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|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 Hybrides System \|0 (DE-588)4510314-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|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 Temporale Logik \|0 (DE-588)4137542-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hartes Echtzeitsystem \|0 (DE-588)4694996-3 \|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 Zeitbewertetes Petri-Netz \|0 (DE-588)4545188-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2006 \|z Paris \|2 gnd-content
689	0	0	\|a Zeitdiskretes System \|0 (DE-588)4127297-3 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Hybrides System \|0 (DE-588)4510314-8 \|D s
689	2	1	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	2	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Hartes Echtzeitsystem \|0 (DE-588)4694996-3 \|D s
689	3	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	3	2	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	3	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|5 DE-604
689	4	0	\|a Zeitbewertetes Petri-Netz \|0 (DE-588)4545188-6 \|D s
689	4	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	4		\|5 DE-604
700	1		\|a Asarin, Eugene \|e Sonstige \|4 oth
711	2		\|a FORMATS \|n 4 \|d 2006 \|c Paris \|j Sonstige \|0 (DE-588)6512575-7 \|4 oth
830		0	\|a Lecture notes in computer science \|v 4202 \|w (DE-604)BV014880109 \|9 4202
856	4	0	\|u https://doi.org/10.1007/11867340 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015577932
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11867340 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875008268828672
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022368713
classification_rvk	SS 4800
classification_tum	DAT 260f DAT 550f DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255611909 (DE-599)BVBBV022368713
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
discipline_str_mv	Informatik
doi_str_mv	10.1007/11867340
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">BV022368713</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080425</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070328s2006 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N37,0027</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540450262</subfield><subfield code="c">: EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)</subfield><subfield code="9">3-540-45026-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540450269</subfield><subfield code="c">: EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)</subfield><subfield code="9">978-3-540-45026-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11867340</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540450269</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11867340</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255611909</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022368713</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-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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 260f</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="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">4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings</subfield><subfield code="c">Eugene Asarin ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 367 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">4202</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">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">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">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">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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</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">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</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">2006</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Asarin, Eugene</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">4</subfield><subfield code="d">2006</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6512575-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4202</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4202</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11867340</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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-015577932</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11867340</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</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/11867340</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2006 Paris gnd-content
genre_facet	Konferenzschrift 2006 Paris
id	DE-604.BV022368713
illustrated	Illustrated
index_date	2024-07-02T17:06:12Z
indexdate	2025-01-10T15:08:48Z
institution	BVB
institution_GND	(DE-588)6512575-7
isbn	3540450262 9783540450269
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015577932
oclc_num	255611909
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XI, 367 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
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 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings Eugene Asarin ... (eds.) Berlin [u.a.] Springer 2006 1 Online-Ressource (XI, 367 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 4202 Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Hartes Echtzeitsystem (DE-588)4694996-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Paris gnd-content Zeitdiskretes System (DE-588)4127297-3 s Formale Methode (DE-588)4333722-3 s DE-604 Zeitbehafteter Automat (DE-588)4713349-1 s Hybrides System (DE-588)4510314-8 s Echtzeitsystem (DE-588)4131397-5 s Hartes Echtzeitsystem (DE-588)4694996-3 s Model Checking (DE-588)4434799-6 s Temporale Logik (DE-588)4137542-7 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Asarin, Eugene Sonstige oth FORMATS 4 2006 Paris Sonstige (DE-588)6512575-7 oth Lecture notes in computer science 4202 (DE-604)BV014880109 4202 https://doi.org/10.1007/11867340 Verlag Volltext
spellingShingle	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings Lecture notes in computer science Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Hybrides System (DE-588)4510314-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Hartes Echtzeitsystem (DE-588)4694996-3 gnd Model Checking (DE-588)4434799-6 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd
subject_GND	(DE-588)4713349-1 (DE-588)4333722-3 (DE-588)4510314-8 (DE-588)4131397-5 (DE-588)4127297-3 (DE-588)4137542-7 (DE-588)4694996-3 (DE-588)4434799-6 (DE-588)4545188-6 (DE-588)1071861417
title	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings
title_auth	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings
title_exact_search	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings
title_exact_search_txtP	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings
title_full	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings Eugene Asarin ... (eds.)
title_fullStr	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings Eugene Asarin ... (eds.)
title_full_unstemmed	Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings Eugene Asarin ... (eds.)
title_short	Formal modeling and analysis of timed systems
title_sort	formal modeling and analysis of timed systems 4th international conference formats 2006 paris france september 25 27 2006 proceedings
title_sub	4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 ; proceedings
topic	Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Hybrides System (DE-588)4510314-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Hartes Echtzeitsystem (DE-588)4694996-3 gnd Model Checking (DE-588)4434799-6 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd
topic_facet	Zeitbehafteter Automat Formale Methode Hybrides System Echtzeitsystem Zeitdiskretes System Temporale Logik Hartes Echtzeitsystem Model Checking Zeitbewertetes Petri-Netz Konferenzschrift 2006 Paris
url	https://doi.org/10.1007/11867340
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT asarineugene formalmodelingandanalysisoftimedsystems4thinternationalconferenceformats2006parisfranceseptember25272006proceedings AT formatsparis formalmodelingandanalysisoftimedsystems4thinternationalconferenceformats2006parisfranceseptember25272006proceedings

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