Formal methods for industrial critical systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8187 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (VIII, 198 S.) graph. Darst. |
| ISBN: | 9783642410093 9783642410109 |
| DOI: | 10.1007/978-3-642-41010-9 |
Internformat
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 | |
Datensatz im Suchindex
| _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 |