Holdings: Formal techniques for safety-critical systems

Formal techniques for safety-critical systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers

Saved in:

Bibliographic Details
Corporate Author:	FTSCS Tokio (Author)
Other Authors:	Artho, Cyrille 1976- (Editor), Ölveczky, Peter Csaba (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham Springer [2017]
Series:	Communications in Computer and Information Science 694
Subjects:	Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik Konferenzschrift > 2016 > Tokio
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, 161 Seiten, 40 illus)
ISBN:	9783319539461
ISSN:	1865-0929
DOI:	10.1007/978-3-319-53946-1

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV044206050
003	DE-604
005	20211228
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	170302s2017 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319539461 \|c Online \|9 978-3-319-53946-1
024	7		\|a 10.1007/978-3-319-53946-1 \|2 doi
035			\|a (OCoLC)975053183
035			\|a (DE-599)BVBBV044206050
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|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 \|a DE-188 \|a DE-19
082	0		\|a 005.1015113 \|2 23
111	2		\|a FTSCS \|n 5. \|d 2016 \|c Tokio \|j Verfasser \|0 (DE-588)1126529923 \|4 aut
245	1	0	\|a Formal techniques for safety-critical systems \|b 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers \|c Cyrille Artho, Peter Csaba Ölveczky (eds.)
264		1	\|a Cham \|b Springer \|c [2017]
300			\|a 1 Online-Ressource (XII, 161 Seiten, 40 illus)
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 694 \|x 1865-0929
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Programming languages (Electronic computers)
650		4	\|a Computers
650		4	\|a Computer logic
650		4	\|a Computer simulation
650		4	\|a Computer Science
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 Computation by Abstract Devices
650		4	\|a Informatik
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2016 \|z Tokio \|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 9783319539454
830		0	\|a Communications in Computer and Information Science \|v 694 \|w (DE-604)BV041227480 \|9 694
856	4	0	\|u https://doi.org/10.1007/978-3-319-53946-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2017
999			\|a oai:aleph.bib-bvb.de:BVB01-029612444
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FWS01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l FWS02 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-53946-1 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-FWS_katkey	639081
_version_	1824554580592033792
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 Tokio
author_corporate_role	aut
author_facet	Artho, Cyrille 1976- Ölveczky, Peter Csaba FTSCS Tokio
author_sort	FTSCS Tokio
building	Verbundindex
bvnumber	BV044206050
collection	ZDB-2-SCS
ctrlnum	(OCoLC)975053183 (DE-599)BVBBV044206050
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-319-53946-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04142nmm a2200793zcb4500</leader><controlfield tag="001">BV044206050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211228 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170302s2017 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319539461</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-53946-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-53946-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)975053183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044206050</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-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><subfield code="a">DE-188</subfield><subfield code="a">DE-19</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">5.</subfield><subfield code="d">2016</subfield><subfield code="c">Tokio</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1126529923</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">5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : 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">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 161 Seiten, 40 illus)</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">694</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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 (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</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 Science</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">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2016</subfield><subfield code="z">Tokio</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">9783319539454</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">694</subfield><subfield code="w">(DE-604)BV041227480</subfield><subfield code="9">694</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-53946-1</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029612444</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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-319-53946-1</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 2016 Tokio gnd-content
genre_facet	Konferenzschrift 2016 Tokio
id	DE-604.BV044206050
illustrated	Not Illustrated
indexdate	2025-02-20T06:54:02Z
institution	BVB
institution_GND	(DE-588)1126529923
isbn	9783319539461
issn	1865-0929
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029612444
oclc_num	975053183
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 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 DE-188 DE-19 DE-BY-UBM
owner_facet	DE-355 DE-BY-UBR DE-860 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 DE-188 DE-19 DE-BY-UBM
physical	1 Online-Ressource (XII, 161 Seiten, 40 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2017
publishDate	2017
publishDateSearch	2017
publishDateSort	2017
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 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Communications in Computer and Information Science Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik
subject_GND	(DE-588)1071861417
title	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers
title_auth	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers
title_exact_search	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers
title_full	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.)
title_fullStr	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.)
title_full_unstemmed	Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : 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 5th international workshop ftscs 2016 tokyo japan november 14 2016 revised selected papers
title_sub	5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers
topic	Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik
topic_facet	Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik Konferenzschrift 2016 Tokio
url	https://doi.org/10.1007/978-3-319-53946-1
volume_link	(DE-604)BV041227480
work_keys_str_mv	AT ftscstokio formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers AT arthocyrille formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers AT olveczkypetercsaba formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers

Holdings

Get full text

MARC

Record in the Search Index

Similar Items