Formal methods for industrial critical systems: 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8718 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIV, 199 S.) Ill., graph. Darst. |
| ISBN: | 9783319107011 9783319107028 |
| DOI: | 10.1007/978-3-319-10702-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042090625 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140925s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319107011 |9 978-3-319-10701-1 | ||
| 020 | |a 9783319107028 |c Online |9 978-3-319-10702-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-10702-8 |2 doi | |
| 035 | |a (OCoLC)892341711 | ||
| 035 | |a (DE-599)BVBBV042090625 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 005.13 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 111 | 2 | |a FMICS |n 19. |d 2014 |c Florenz |j Verfasser |0 (DE-588)1058693964 |4 aut | |
| 245 | 1 | 0 | |a Formal methods for industrial critical systems |b 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 |c Frédéric Lang ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XIV, 199 S.) |b Ill., 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 8718 | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-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 Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Florenz |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 Lang, Frédéric |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8718 |w (DE-604)BV014880109 |9 8718 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-10702-8 |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=027531498&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=027531498&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027531498 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-10702-8 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152547772989440 |
|---|---|
| adam_text | FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FORMAL VERIFICATION OF STEADY-STATE ERRORS IN UNITY-FEEDBACK CONTROL
SYSTEMS
ASSERTION-BASED MONITORING IN PRACTICE – CHECKING CORRECTNESS OF AN
AUTOMOTIVE SENSOR INTERFACE
ANALYSIS OF REAL-TIME PROPERTIES OF A DIGITAL HYDRAULIC POWER MANAGEMENT
SYSTEM
FORMAL ANALYSIS OF A FAULT-TOLERANT ROUTING ALGORITHM FOR A
NETWORK-ON-CHIP
FORMAL SPECIFICATION AND VERIFICATION OF TCP EXTENDED WITH THE WINDOW
SCALE OPTION
LEARNING FRAGMENTS OF THE TCP NETWORK PROTOCOL
ON THE VALIDATION OF AN INTERLOCKING SYSTEM BY MODEL-CHECKING
DEADLOCK AVOIDANCE IN TRAIN SCHEDULING: A MODEL CHECKING APPROACH
AN OPEN ALTERNATIVE FOR SMT-BASED VERIFICATION OF SCADE MODELS
IMPROVING STATIC ANALYSES OF C PROGRAMS WITH CONDITIONAL PREDICATES
DETECTING CONSISTENCIES AND INCONSISTENCIES OF PATTERN-BASED FUNCTIONAL
REQUIREMENTS
TEST SPECIFICATION PATTERNS FOR AUTOMATIC GENERATION OF TEST SEQUENCES
RANDOMISED TESTING OF A MICROPROCESSOR MODEL USING SMT-SOLVER STATE
GENERATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 19TH INTERNATIONAL
CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS
2014, HELD IN FLORENCE, ITALY, IN SEPTEMBER 2014. THE 13 PAPERS
PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 26
SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS NAMED:
CYBER-PHYSICAL SYSTEMS; COMPUTER NETWORKS; RAILWAY CONTROL SYSTEMS;
VERIFICATION METHODS; AND HARDWARE AND SOFTWARE TESTING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_corporate | FMICS Florenz |
| author_corporate_role | aut |
| author_facet | FMICS Florenz |
| author_sort | FMICS Florenz |
| building | Verbundindex |
| bvnumber | BV042090625 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 325f DAT 343f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)892341711 (DE-599)BVBBV042090625 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-10702-8 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04136nmm a2200757 cb4500</leader><controlfield tag="001">BV042090625</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140925s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319107011</subfield><subfield code="9">978-3-319-10701-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319107028</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-10702-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-10702-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892341711</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042090625</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 325f</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="111" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">19.</subfield><subfield code="d">2014</subfield><subfield code="c">Florenz</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1058693964</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems</subfield><subfield code="b">19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014</subfield><subfield code="c">Frédéric Lang ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 199 S.)</subfield><subfield code="b">Ill., 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">8718</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">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">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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Florenz</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">Lang, Frédéric</subfield><subfield code="e">Sonstige</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">8718</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8718</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-10702-8</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=027531498&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=027531498&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027531498</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10702-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</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-10702-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Florenz gnd-content |
| genre_facet | Konferenzschrift 2014 Florenz |
| id | DE-604.BV042090625 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:12:27Z |
| institution | BVB |
| institution_GND | (DE-588)1058693964 |
| isbn | 9783319107011 9783319107028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027531498 |
| oclc_num | 892341711 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (XIV, 199 S.) Ill., graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FMICS 19. 2014 Florenz Verfasser (DE-588)1058693964 aut Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 Frédéric Lang ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XIV, 199 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8718 Verifikation (DE-588)4135577-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Florenz 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 Lang, Frédéric Sonstige oth Lecture notes in computer science 8718 (DE-604)BV014880109 8718 https://doi.org/10.1007/978-3-319-10702-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027531498&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=027531498&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 Lecture notes in computer science Verifikation (DE-588)4135577-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)4767762-4 (DE-588)4116522-6 (DE-588)4261480-6 (DE-588)4333722-3 (DE-588)4116673-5 (DE-588)1071861417 |
| title | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 |
| title_auth | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 |
| title_exact_search | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 |
| title_full | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 Frédéric Lang ... (eds.) |
| title_fullStr | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 Frédéric Lang ... (eds.) |
| title_full_unstemmed | Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 Frédéric Lang ... (eds.) |
| title_short | Formal methods for industrial critical systems |
| title_sort | formal methods for industrial critical systems 19th international conference fmics 2014 florence italy september 11 12 2014 |
| title_sub | 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 |
| topic | Verifikation (DE-588)4135577-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd |
| topic_facet | Verifikation Sicherheitskritisches System Softwareentwicklung Systementwurf Formale Methode Systemanalyse Konferenzschrift 2014 Florenz |
| url | https://doi.org/10.1007/978-3-319-10702-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027531498&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=027531498&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT fmicsflorenz formalmethodsforindustrialcriticalsystems19thinternationalconferencefmics2014florenceitalyseptember11122014 AT langfrederic formalmethodsforindustrialcriticalsystems19thinternationalconferencefmics2014florenceitalyseptember11122014 |