Holdings: Formal techniques for safety-critical systems

Formal techniques for safety-critical systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers

Saved in:

Bibliographic Details
Corporate Author:	FTSCS Gold Coast (Author)
Other Authors:	Artho, Cyrille 1976- (Editor), Ölveczky, Peter Csaba (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham Springer [2019]
Series:	Communications in Computer and Information Science 1008
Subjects:	Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logic design Software engineering Computer science Computer simulation Computer software Konferenzschrift > 2018 > Gold Coast
Online Access:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext
Physical Description:	1 Online-Ressource (XII, 179 Seiten, 293 illus., 23 illus. in color)
ISBN:	9783030129880
ISSN:	1865-0929
DOI:	10.1007/978-3-030-12988-0

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV045500764
003	DE-604
005	20190614
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	190307s2019 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783030129880 \|c Online \|9 978-3-030-12988-0
024	7		\|a 10.1007/978-3-030-12988-0 \|2 doi
035			\|a (ZDB-2-SCS)9783030129880
035			\|a (OCoLC)1089715388
035			\|a (DE-599)BVBBV045500764
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|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.1015113 \|2 23
111	2		\|a FTSCS \|n 6. \|d 2018 \|c Gold Coast \|j Verfasser \|0 (DE-588)1179404041 \|4 aut
245	1	0	\|a Formal techniques for safety-critical systems \|b 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers \|c Cyrille Artho, Peter Csaba Ölveczky (eds.)
264		1	\|a Cham \|b Springer \|c [2019]
300			\|a 1 Online-Ressource (XII, 179 Seiten, 293 illus., 23 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Communications in computer and information science \|v 1008 \|x 1865-0929
650		4	\|a Logics and Meanings of Programs
650		4	\|a Software Engineering
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Simulation and Modeling
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Algorithm Analysis and Problem Complexity
650		4	\|a Logic design
650		4	\|a Software engineering
650		4	\|a Computer science
650		4	\|a Computer simulation
650		4	\|a Computer software
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2018 \|z Gold Coast \|2 gnd-content
700	1		\|a Artho, Cyrille \|d 1976- \|0 (DE-588)130875279 \|4 edt
700	1		\|a Ölveczky, Peter Csaba \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-12987-3
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-12989-7
830		0	\|a Communications in Computer and Information Science \|v 1008 \|w (DE-604)BV041227480 \|9 1008
856	4	0	\|u https://doi.org/10.1007/978-3-030-12988-0 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2019
999			\|a oai:aleph.bib-bvb.de:BVB01-030885464
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FWS01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l FWS02 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-12988-0 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-FWS_katkey	716930
_version_	1824554812388147201
any_adam_object
author2	Artho, Cyrille 1976- Ölveczky, Peter Csaba
author2_role	edt edt
author2_variant	c a ca p c ö pc pcö
author_GND	(DE-588)130875279
author_corporate	FTSCS Gold Coast
author_corporate_role	aut
author_facet	Artho, Cyrille 1976- Ölveczky, Peter Csaba FTSCS Gold Coast
author_sort	FTSCS Gold Coast
building	Verbundindex
bvnumber	BV045500764
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030129880 (OCoLC)1089715388 (DE-599)BVBBV045500764
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-030-12988-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04275nmm a2200793zcb4500</leader><controlfield tag="001">BV045500764</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190614 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">190307s2019 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030129880</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-12988-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-12988-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030129880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1089715388</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045500764</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-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.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FTSCS</subfield><subfield code="n">6.</subfield><subfield code="d">2018</subfield><subfield code="c">Gold Coast</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1179404041</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for safety-critical systems</subfield><subfield code="b">6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers</subfield><subfield code="c">Cyrille Artho, Peter Csaba Ölveczky (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="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 179 Seiten, 293 illus., 23 illus. in color)</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">Communications in computer and information science</subfield><subfield code="v">1008</subfield><subfield code="x">1865-0929</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">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</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">Mathematical Logic and Formal Languages</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">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2018</subfield><subfield code="z">Gold Coast</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artho, Cyrille</subfield><subfield code="d">1976-</subfield><subfield code="0">(DE-588)130875279</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ölveczky, Peter Csaba</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-12987-3</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-12989-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">1008</subfield><subfield code="w">(DE-604)BV041227480</subfield><subfield code="9">1008</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-12988-0</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2019</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030885464</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-12988-0</subfield><subfield code="l">BTU01</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-12988-0</subfield><subfield code="l">FHA01</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-12988-0</subfield><subfield code="l">FHI01</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-12988-0</subfield><subfield code="l">FHM01</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-12988-0</subfield><subfield code="l">FHN01</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-12988-0</subfield><subfield code="l">FHR01</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-12988-0</subfield><subfield code="l">FKE01</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-12988-0</subfield><subfield code="l">FLA01</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-12988-0</subfield><subfield code="l">FRO01</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-12988-0</subfield><subfield code="l">FWS01</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-12988-0</subfield><subfield code="l">FWS02</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-12988-0</subfield><subfield code="l">HTW01</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-12988-0</subfield><subfield code="l">UBG01</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-12988-0</subfield><subfield code="l">UBM01</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-12988-0</subfield><subfield code="l">UBR01</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-12988-0</subfield><subfield code="l">UBT01</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-12988-0</subfield><subfield code="l">UBW01</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-12988-0</subfield><subfield code="l">UBY01</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-12988-0</subfield><subfield code="l">UER01</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-12988-0</subfield><subfield code="l">UPA01</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 2018 Gold Coast gnd-content
genre_facet	Konferenzschrift 2018 Gold Coast
id	DE-604.BV045500764
illustrated	Not Illustrated
indexdate	2025-02-20T06:57:43Z
institution	BVB
institution_GND	(DE-588)1179404041
isbn	9783030129880
issn	1865-0929
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030885464
oclc_num	1089715388
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 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-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 (XII, 179 Seiten, 293 illus., 23 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2019
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer
record_format	marc
series	Communications in Computer and Information Science
series2	Communications in computer and information science
spellingShingle	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers Communications in Computer and Information Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logic design Software engineering Computer science Computer simulation Computer software
subject_GND	(DE-588)1071861417
title	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers
title_auth	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers
title_exact_search	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers
title_full	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.)
title_fullStr	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.)
title_full_unstemmed	Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.)
title_short	Formal techniques for safety-critical systems
title_sort	formal techniques for safety critical systems 6th international workshop ftscs 2018 gold coast australia november 16 2018 revised selected papers
title_sub	6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers
topic	Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logic design Software engineering Computer science Computer simulation Computer software
topic_facet	Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logic design Software engineering Computer science Computer simulation Computer software Konferenzschrift 2018 Gold Coast
url	https://doi.org/10.1007/978-3-030-12988-0
volume_link	(DE-604)BV041227480
work_keys_str_mv	AT ftscsgoldcoast formaltechniquesforsafetycriticalsystems6thinternationalworkshopftscs2018goldcoastaustralianovember162018revisedselectedpapers AT arthocyrille formaltechniquesforsafetycriticalsystems6thinternationalworkshopftscs2018goldcoastaustralianovember162018revisedselectedpapers AT olveczkypetercsaba formaltechniquesforsafetycriticalsystems6thinternationalworkshopftscs2018goldcoastaustralianovember162018revisedselectedpapers

Holdings

Get full text

MARC

Record in the Search Index

Similar Items