Holdings: Formal methods for industrial critical systems

Formal methods for industrial critical systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 8187
Subjects:	Softwareentwicklung Formale Methode Systemanalyse Sicherheitskritisches System Verifikation Systementwurf Konferenzschrift > 2013 > Madrid
Online Access:	Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (VIII, 198 S.) graph. Darst.
ISBN:	9783642410093 9783642410109
DOI:	10.1007/978-3-642-41010-9

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041449023
003	DE-604
005	20140318
007	cr\|uuu---uuuuu
008	131128s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642410093 \|9 978-3-642-41009-3
020			\|a 9783642410109 \|c Online \|9 978-3-642-41010-9
024	7		\|a 10.1007/978-3-642-41010-9 \|2 doi
035			\|a (OCoLC)859272639
035			\|a (DE-599)BVBBV041449023
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.1
084			\|a DAT 310f \|2 stub
084			\|a DAT 343f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Formal methods for industrial critical systems \|b 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings \|c Charles Pecheur ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (VIII, 198 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8187
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|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 Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwurf \|0 (DE-588)4261480-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Madrid \|2 gnd-content
689	0	0	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0	2	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0	3	\|a Systementwurf \|0 (DE-588)4261480-6 \|D s
689	0	4	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	5	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
700	1		\|a Pecheur, Charles \|e Sonstige \|0 (DE-588)1045784559 \|4 oth
711	2		\|a FMICS \|n 18 \|d 2013 \|c Madrid \|j Sonstige \|0 (DE-588)1044696907 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8187 \|w (DE-604)BV014880109 \|9 8187
856	4	0	\|u https://doi.org/10.1007/978-3-642-41010-9 \|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=026895634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
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=026895634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026895634

Record in the Search Index

_version_	1820875545412370432
adam_text	FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS FORMAL METHODS FOR THE ANALYSIS OF CRITICAL CONTROL SYSTEMS MODELS: COMBINING NON-LINEAR AND LINEAR ANALYSES HYREV: A TOOL FOR THE AUTOMATIC GENERATION OF REAL-TIME ROUTINES FOR ENABLING FAIL-SAFE CONTROL IN A CLASS OF SAFETY-CRITICAL EMBEDDED SYSTEMS USING BACKWARDS REACHABILITY ANALYSIS AN OUTLINE WORKFLOW FOR PRACTICAL FORMAL VERIFICATION FROM SOFTWARE REQUIREMENTS TO OBJECT CODE BOOLEAN QUANTIFIER ELIMINATION FOR AUTOMOTIVE CONFIGURATION – A CASE STUDY STUDY ON THE BARRIERS TO THE INDUSTRIAL ADOPTION OF FORMAL METHODS ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT COMPLEX DIGITAL SYSTEM DESIGN: A METHODOLOGY AND ITS APPLICATION TO MEDICAL IMPLANTS FORMAL ANALYSIS OF THE ACE SPECIFICATION FOR CACHE COHERENT SYSTEMS-ON-CHIP PREDICATE ABSTRACTION FOR PROGRAMMABLE LOGIC CONTROLLERS HIGH-LEVEL GUIDANCE FOR MANAGERS DEPLOYING FORMAL METHODS IN THEIR ORGANISATION AUDITING USER-PROVIDED AXIOMS IN SOFTWARE VERIFICATION CONDITIONS FORMAL RELIABILITY ANALYSIS OF PROTECTIVE RELAYS IN POWER DISTRIBUTION SYSTEMS SPECIFICATION AND VERIFICATION USING ALLOY OF OPTIMISTIC ACCESS CONTROL FOR DISTRIBUTED COLLABORATIVE EDITORS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED CONFERENCE PROCEEDINGS OF THE 18TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2013, HELD IN MADRID, SPAIN, IN SEPTEMBER 2013. THE 13 PAPERS PRESENTED WERE CAREFULLY SELECTED FROM 25 SUBMISSIONS AND COVER TOPICS SUCH AS DESIGN, SPECIFICATION, CODE GENERATION AND TESTING BASED ON FORMAL METHODS, METHODS, TECHNIQUES AND TOOLS TO SUPPORT AUTOMATED ANALYSIS, CERTIFICATION, DEBUGGING, LEARNING, OPTIMIZATION AND TRANSFORMATION OF COMPLEX, DISTRIBUTED, DEPENDABLE, REAL-TIME SYSTEMS AND EMBEDDED SYSTEMS, VERIFICATION AND VALIDATION METHODS, TOOLS FOR THE DEVELOPMENT OF FORMAL DESIGN DESCRIPTIONS, CASE STUDIES AND EXPERIENCE REPORTS ON INDUSTRIAL APPLICATIONS OF FORMAL METHODS, IMPACT OF THE ADOPTION OF FORMAL METHODS ON THE DEVELOPMENT PROCESS AND ASSOCIATED COSTS, APPLICATION OF FORMAL METHODS IN STANDARDIZATION AND INDUSTRIAL FORUMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1045784559
building	Verbundindex
bvnumber	BV041449023
classification_rvk	SS 4800
classification_tum	DAT 310f DAT 343f DAT 000 DAT 325f
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)859272639 (DE-599)BVBBV041449023
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-642-41010-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 a2200000 cb4500</leader><controlfield tag="001">BV041449023</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140318</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131128s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642410093</subfield><subfield code="9">978-3-642-41009-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642410109</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-41010-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-41010-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859272639</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041449023</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems</subfield><subfield code="b">18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings</subfield><subfield code="c">Charles Pecheur ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 198 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8187</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Madrid</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pecheur, Charles</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1045784559</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">18</subfield><subfield code="d">2013</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044696907</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8187</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8187</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-41010-9</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=026895634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=026895634&sequence=000003&line_number=0002&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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026895634</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content
genre_facet	Konferenzschrift 2013 Madrid
id	DE-604.BV041449023
illustrated	Illustrated
indexdate	2025-01-10T15:17:20Z
institution	BVB
institution_GND	(DE-588)1044696907
isbn	9783642410093 9783642410109
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026895634
oclc_num	859272639
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (VIII, 198 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings Charles Pecheur ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (VIII, 198 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8187 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Formale Methode (DE-588)4333722-3 s Systemanalyse (DE-588)4116673-5 s Systementwurf (DE-588)4261480-6 s Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s DE-604 Pecheur, Charles Sonstige (DE-588)1045784559 oth FMICS 18 2013 Madrid Sonstige (DE-588)1044696907 oth Lecture notes in computer science 8187 (DE-604)BV014880109 8187 https://doi.org/10.1007/978-3-642-41010-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026895634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026895634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4116673-5 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417
title	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings
title_auth	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings
title_exact_search	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings
title_full	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings Charles Pecheur ... (eds.)
title_fullStr	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings Charles Pecheur ... (eds.)
title_full_unstemmed	Formal methods for industrial critical systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings Charles Pecheur ... (eds.)
title_short	Formal methods for industrial critical systems
title_sort	formal methods for industrial critical systems 18th international workshop fmics 2013 madrid spain september 23 24 2013 proceedings
title_sub	18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings
topic	Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd
topic_facet	Softwareentwicklung Formale Methode Systemanalyse Sicherheitskritisches System Verifikation Systementwurf Konferenzschrift 2013 Madrid
url	https://doi.org/10.1007/978-3-642-41010-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026895634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026895634&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT pecheurcharles formalmethodsforindustrialcriticalsystems18thinternationalworkshopfmics2013madridspainseptember23242013proceedings AT fmicsmadrid formalmethodsforindustrialcriticalsystems18thinternationalworkshopfmics2013madridspainseptember23242013proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items