Holdings: Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	FORMATS Amsterdam (Author)
Other Authors:	André, Étienne (Editor), Stoelinga, Mariëlle 1972- (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham Springer [2019] Cham
Series:	Lecture notes in computer science 11750 : Theoretical computer science and general issues
Subjects:	Algorithm Analysis and Problem Complexity Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Special Purpose and Application-Based Systems Computer software Software engineering Logic design Computer science Computer simulation Echtzeitsystem Formale Methode Zeitbehafteter Automat Zeitdiskretes System Hybrides System Verifikation Spezifikation Konferenzschrift
Online Access:	DE-634 DE-Aug4 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-860 DE-861 DE-863 DE-862 DE-523 DE-91 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext
Physical Description:	1 Online-Ressource (xvi, 301 Seiten) Illustrationen, Diagramme
ISBN:	9783030296629
DOI:	10.1007/978-3-030-29662-9

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV046137490
003	DE-604
005	20190924
007	cr\|uuu---uuuuu
008	190903s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783030296629 \|c Online \|9 978-3-030-29662-9
024	7		\|a 10.1007/978-3-030-29662-9 \|2 doi
035			\|a (ZDB-2-SCS)9783030296629
035			\|a (ZDB-2-LNC)9783030296629
035			\|a (OCoLC)1118999599
035			\|a (DE-599)BVBBV046137490
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 005.1 \|2 23
084			\|a DAT 516f \|2 stub
084			\|a DAT 000 \|2 stub
111	2		\|a FORMATS \|n 17. \|d 2019 \|c Amsterdam \|j Verfasser \|0 (DE-588)1195553633 \|4 aut
245	1	0	\|a Formal modeling and analysis of timed systems \|b 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings \|c Étienne André, Mariëlle Stoelinga (Eds.)
264		1	\|a Cham \|b Springer \|c [2019]
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (xvi, 301 Seiten) \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 11750 \|a Theoretical computer science and general issues
650		4	\|a Algorithm Analysis and Problem Complexity
650		4	\|a Software Engineering
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Simulation and Modeling
650		4	\|a Special Purpose and Application-Based Systems
650		4	\|a Computer software
650		4	\|a Software engineering
650		4	\|a Logic design
650		4	\|a Computer science
650		4	\|a Computer simulation
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		\|5 DE-604
700	1		\|a André, Étienne \|4 edt
700	1		\|a Stoelinga, Mariëlle \|d 1972- \|0 (DE-588)173551084 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-29661-2
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-29663-6
830		0	\|a Lecture notes in computer science \|v 11750 : Theoretical computer science and general issues \|w (DE-604)BV014880109 \|9 11750
856	4	0	\|u https://doi.org/10.1007/978-3-030-29662-9 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2019
940	1		\|q ZDB-2-LNC_2019
943	1		\|a oai:aleph.bib-bvb.de:BVB01-031517790
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2019 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-29662-9 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-FWS_katkey	735349
_version_	1824555920747659264
adam_text
any_adam_object
author2	André, Étienne Stoelinga, Mariëlle 1972-
author2_role	edt edt
author2_variant	é a éa m s ms
author_GND	(DE-588)173551084
author_corporate	FORMATS Amsterdam
author_corporate_role	aut
author_facet	André, Étienne Stoelinga, Mariëlle 1972- FORMATS Amsterdam
author_sort	FORMATS Amsterdam
building	Verbundindex
bvnumber	BV046137490
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783030296629 (ZDB-2-LNC)9783030296629 (OCoLC)1118999599 (DE-599)BVBBV046137490
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-030-29662-9
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046137490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190924</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">190903s2019 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030296629</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-29662-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-29662-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030296629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030296629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1118999599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046137490</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">17.</subfield><subfield code="d">2019</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1195553633</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">17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings</subfield><subfield code="c">Étienne André, Mariëlle Stoelinga (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 301 Seiten)</subfield><subfield code="b">Illustrationen, 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">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">11750</subfield><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">André, Étienne</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stoelinga, Mariëlle</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)173551084</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</subfield><subfield code="z">978-3-030-29661-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-29663-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11750 : Theoretical computer science and general issues</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">11750</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-29662-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2019</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2019</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031517790</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-29662-9</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-030-29662-9</subfield><subfield code="l">DE-Aug4</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-030-29662-9</subfield><subfield code="l">DE-573</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-030-29662-9</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-030-29662-9</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-030-29662-9</subfield><subfield code="l">DE-898</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-030-29662-9</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-030-29662-9</subfield><subfield code="l">DE-860</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-030-29662-9</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-030-29662-9</subfield><subfield code="l">DE-863</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-030-29662-9</subfield><subfield code="l">DE-862</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-030-29662-9</subfield><subfield code="l">DE-523</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-030-29662-9</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2019</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-030-29662-9</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-030-29662-9</subfield><subfield code="l">DE-19</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-030-29662-9</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/978-3-030-29662-9</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-030-29662-9</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-030-29662-9</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-030-29662-9</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-030-29662-9</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.BV046137490
illustrated	Illustrated
indexdate	2025-02-20T07:15:20Z
institution	BVB
institution_GND	(DE-588)1195553633
isbn	9783030296629
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031517790
oclc_num	1118999599
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (xvi, 301 Seiten) Illustrationen, Diagramme
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2019 ZDB-2-LNC_2019 ZDB-2-LNC ZDB-2-LNC_2019
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Theoretical computer science and general issues
spellingShingle	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings Lecture notes in computer science Algorithm Analysis and Problem Complexity Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Special Purpose and Application-Based Systems Computer software Software engineering Logic design Computer science Computer simulation 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 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings
title_auth	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings
title_exact_search	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings
title_full	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings Étienne André, Mariëlle Stoelinga (Eds.)
title_fullStr	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings Étienne André, Mariëlle Stoelinga (Eds.)
title_full_unstemmed	Formal modeling and analysis of timed systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings Étienne André, Mariëlle Stoelinga (Eds.)
title_short	Formal modeling and analysis of timed systems
title_sort	formal modeling and analysis of timed systems 17th international conference formats 2019 amsterdam the netherlands august 27 29 2019 proceedings
title_sub	17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019 : proceedings
topic	Algorithm Analysis and Problem Complexity Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Special Purpose and Application-Based Systems Computer software Software engineering Logic design Computer science Computer simulation 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	Algorithm Analysis and Problem Complexity Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Special Purpose and Application-Based Systems Computer software Software engineering Logic design Computer science Computer simulation Echtzeitsystem Formale Methode Zeitbehafteter Automat Zeitdiskretes System Hybrides System Verifikation Spezifikation Konferenzschrift
url	https://doi.org/10.1007/978-3-030-29662-9
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT formatsamsterdam formalmodelingandanalysisoftimedsystems17thinternationalconferenceformats2019amsterdamthenetherlandsaugust27292019proceedings AT andreetienne formalmodelingandanalysisoftimedsystems17thinternationalconferenceformats2019amsterdamthenetherlandsaugust27292019proceedings AT stoelingamarielle formalmodelingandanalysisoftimedsystems17thinternationalconferenceformats2019amsterdamthenetherlandsaugust27292019proceedings

Holdings

Get full text

MARC

Record in the Search Index

Similar Items