Verfügbarkeit: Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Artho, Cyrille 1976- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham ; s.l. Springer International Publishing 2014 Imprint: Springer
Schriftenreihe:	Communications in Computer and Information Science 419
Schlagworte:	Software Engineering Informatik Logischer Entwurf
Online-Zugang:	BFB01 BTU01 FHA01 FHM01 FHN01 FKE01 FRO01 UBG01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Abstract
Beschreibung:	1 Online-Ressource (X, 297 p.) Ill.
ISBN:	9783319054162
DOI:	10.1007/978-3-319-05416-2

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV041843066
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	140513s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319054162 \|c Online \|9 978-3-319-05416-2
024	7		\|a 10.1007/978-3-319-05416-2 \|2 doi
035			\|a (OCoLC)879504967
035			\|a (DE-599)BVBBV041843066
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-703 \|a DE-20 \|a DE-92 \|a DE-859 \|a DE-M347 \|a DE-473 \|a DE-522 \|a DE-861 \|a DE-Aug4 \|a DE-29 \|a DE-634 \|a DE-739 \|a DE-355
082	0		\|a 004
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 195 \|0 (DE-625)143608: \|2 rvk
100	1		\|a Artho, Cyrille \|d 1976- \|e Verfasser \|0 (DE-588)130875279 \|4 aut
245	1	0	\|a Formal Techniques for Safety-Critical Systems \|b Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers \|c edited by Cyrille Artho, Peter Csaba Ölveczky
264		1	\|a Cham ; s.l. \|b Springer International Publishing \|c 2014
264		1	\|b Imprint: Springer
300			\|a 1 Online-Ressource (X, 297 p.) \|b Ill.
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 419
533			\|a Online-Ausgabe \|f Springer eBook Collection / Computer Science
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|2 gnd \|9 rswk-swf
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	2	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|D s
689	0		\|5 DE-604
700	1		\|a Ölveczky, Peter Csaba \|e Sonstige \|4 oth
776	0	8	\|i Reproduktion von \|a Artho, Cyrille, 1976- \|t Formal Techniques for Safety-Critical Systems \|d 2014
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-05415-5
830		0	\|a Communications in Computer and Information Science \|v 419 \|w (DE-604)BV041227480 \|9 419
856	4	0	\|u https://doi.org/10.1007/978-3-319-05416-2 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027287696&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-027287696
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l BFB01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05416-2 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152186146390016
adam_text	FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP, FTSCS 2013, HELD IN QUEENSTOWN, NEW ZEALAND, IN OCTOBER 2013. THE 17 REVISED FULL PAPERS PRESENTED TOGETHER WITH AN INVITED TALK WERE CAREFULLY REVIEWED AND SELECTED FROM 32 SUBMISSIONS. THE PAPERS ADDRESS VARIOUS TOPICS RELATED TO THE APPLICATION OF FORMAL AND SEMI-FORMAL METHODS TO IMPROVE THE QUALITY OF SAFETY-CRITICAL COMPUTER SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Artho, Cyrille 1976-
author_GND	(DE-588)130875279
author_facet	Artho, Cyrille 1976-
author_role	aut
author_sort	Artho, Cyrille 1976-
author_variant	c a ca
building	Verbundindex
bvnumber	BV041843066
classification_rvk	ST 120 ST 130 ST 195
collection	ZDB-2-SCS
ctrlnum	(OCoLC)879504967 (DE-599)BVBBV041843066
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-05416-2
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03714nmm a2200673 cb4500</leader><controlfield tag="001">BV041843066</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140513s2014 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319054162</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-05416-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-05416-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879504967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041843066</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 195</subfield><subfield code="0">(DE-625)143608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Artho, Cyrille</subfield><subfield code="d">1976-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130875279</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">Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers</subfield><subfield code="c">edited by Cyrille Artho, Peter Csaba Ölveczky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; s.l.</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="b">Imprint: Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 297 p.)</subfield><subfield code="b">Ill.</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">419</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Springer eBook Collection / Computer Science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</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">Ölveczky, Peter Csaba</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="a">Artho, Cyrille, 1976-</subfield><subfield code="t">Formal Techniques for Safety-Critical Systems</subfield><subfield code="d">2014</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-05415-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">419</subfield><subfield code="w">(DE-604)BV041227480</subfield><subfield code="9">419</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-05416-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027287696&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027287696</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-05416-2</subfield><subfield code="l">BFB01</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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-05416-2</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>
id	DE-604.BV041843066
illustrated	Illustrated
indexdate	2024-07-10T01:06:42Z
institution	BVB
isbn	9783319054162
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027287696
oclc_num	879504967
open_access_boolean
owner	DE-703 DE-20 DE-92 DE-859 DE-M347 DE-473 DE-BY-UBG DE-522 DE-861 DE-Aug4 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR
owner_facet	DE-703 DE-20 DE-92 DE-859 DE-M347 DE-473 DE-BY-UBG DE-522 DE-861 DE-Aug4 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 297 p.) Ill.
psigel	ZDB-2-SCS
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer International Publishing Imprint: Springer
record_format	marc
series	Communications in Computer and Information Science
series2	Communications in Computer and Information Science
spelling	Artho, Cyrille 1976- Verfasser (DE-588)130875279 aut Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers edited by Cyrille Artho, Peter Csaba Ölveczky Cham ; s.l. Springer International Publishing 2014 Imprint: Springer 1 Online-Ressource (X, 297 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Communications in Computer and Information Science 419 Online-Ausgabe Springer eBook Collection / Computer Science Software Engineering (DE-588)4116521-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Logischer Entwurf (DE-588)4168051-0 gnd rswk-swf Informatik (DE-588)4026894-9 s Software Engineering (DE-588)4116521-4 s Logischer Entwurf (DE-588)4168051-0 s DE-604 Ölveczky, Peter Csaba Sonstige oth Reproduktion von Artho, Cyrille, 1976- Formal Techniques for Safety-Critical Systems 2014 Erscheint auch als Druckausgabe 978-3-319-05415-5 Communications in Computer and Information Science 419 (DE-604)BV041227480 419 https://doi.org/10.1007/978-3-319-05416-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027287696&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Artho, Cyrille 1976- Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers Communications in Computer and Information Science Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Logischer Entwurf (DE-588)4168051-0 gnd
subject_GND	(DE-588)4116521-4 (DE-588)4026894-9 (DE-588)4168051-0
title	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
title_auth	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
title_exact_search	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
title_full	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers edited by Cyrille Artho, Peter Csaba Ölveczky
title_fullStr	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers edited by Cyrille Artho, Peter Csaba Ölveczky
title_full_unstemmed	Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers edited by Cyrille Artho, Peter Csaba Ölveczky
title_short	Formal Techniques for Safety-Critical Systems
title_sort	formal techniques for safety critical systems second international workshop ftscs 2013 queenstown new zealand october 29 30 2013 revised selected papers
title_sub	Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
topic	Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Logischer Entwurf (DE-588)4168051-0 gnd
topic_facet	Software Engineering Informatik Logischer Entwurf
url	https://doi.org/10.1007/978-3-319-05416-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027287696&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV041227480
work_keys_str_mv	AT arthocyrille formaltechniquesforsafetycriticalsystemssecondinternationalworkshopftscs2013queenstownnewzealandoctober29302013revisedselectedpapers AT olveczkypetercsaba formaltechniquesforsafetycriticalsystemssecondinternationalworkshopftscs2013queenstownnewzealandoctober29302013revisedselectedpapers

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