Runtime verification: 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8734 |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XVII, 358 S.) Ill., graph. Darst. |
| ISBN: | 9783319111636 9783319111643 |
| DOI: | 10.1007/978-3-319-11164-3 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042168943 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141105s2014 xx ad|| o|||| 10||| eng d | ||
| 020 | |a 9783319111636 |9 978-3-319-11163-6 | ||
| 020 | |a 9783319111643 |c Online |9 978-3-319-11164-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-11164-3 |2 doi | |
| 035 | |a (OCoLC)892081908 | ||
| 035 | |a (DE-599)BVBBV042168943 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 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 004 | |
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Runtime verification |b 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings |c Borzoo Bonakdarpour .... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XVII, 358 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 8734 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Laufzeitsystem |0 (DE-588)4343107-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-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 Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmlaufzeit |0 (DE-588)4745613-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Toronto |2 gnd-content | |
| 689 | 0 | 0 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 1 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
| 689 | 0 | 2 | |a Laufzeitsystem |0 (DE-588)4343107-0 |D s |
| 689 | 0 | 3 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 4 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 1 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 1 | 2 | |a Programmlaufzeit |0 (DE-588)4745613-9 |D s |
| 689 | 1 | 3 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 4 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Bonakdarpour, Borzoo |e Sonstige |0 (DE-588)1060389045 |4 oth | |
| 711 | 2 | |a RV |n 5. |d 2014 |c Toronto |j Sonstige |0 (DE-588)1060387964 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8734 |w (DE-604)BV014880109 |9 8734 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-11164-3 |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=027608410&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=027608410&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027608410 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-11164-3 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875632209297408 |
|---|---|
| adam_text |
RUNTIME VERIFICATION
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FIRST INTERNATIONAL COMPETITION ON SOFTWARE FOR RUNTIME VERIFICATION
MONITORING AND TRACE SLICING
MULTIPLE WAYS TO FAIL: GENERALIZING A MONITOR’S VERDICT FOR THE
CLASSIFICATION OF EXECUTION TRACES
SCALABLE OFFLINE MONITORING
MONITORING SYSTEMS WITH EXTENDED LIVE SEQUENCE CHARTS
FOUNDATIONS OF BOOLEAN STREAM RUNTIME VERIFICATION
PORTABLE RUNTIME VERIFICATION WITH SMARTPHONES AND OPTICAL CODES
ROBUST CONSISTENCY CHECKING FOR MODERN FILESYSTEMS
RUNTIME VERIFICATION OF DISTRIBUTED AND CONCURRENT SYSTEMS
ON THE NUMBER OF OPINIONS NEEDED FOR FAULT-TOLERANT RUN-TIME MONITORING
IN DISTRIBUTED SYSTEMS
SUPPORTING THE SPECIFICATION AND RUNTIME VALIDATION OF ASYNCHRONOUS
CALLING PATTERNS IN REACTIVE SYSTEMS
SPECULATIVE PROGRAM PARALLELIZATION WITH SCALABLE AND DECENTRALIZED
RUNTIME VERIFICATION
ORGANISING LTL MONITORS OVER DISTRIBUTED SYSTEMS WITH A GLOBAL CLOCK
DYNAMIC VERIFICATION FOR HYBRID CONCURRENT PROGRAMMING MODELS
ABSTRACTION AND MINING OF TRACES TO EXPLAIN CONCURRENCY BUGS
RUNTIME VERIFICATION OF REAL-TIME AND EMBEDDED SYSTEMS
ONLINE MONITORING OF METRIC TEMPORAL LOGIC
ON REAL-TIME MONITORING WITH IMPRECISE TIMESTAMPS
MODELPLEX: VERIFIED RUNTIME VALIDATION OF VERIFIED CYBER-PHYSICAL SYSTEM
MODELS
RUNTIME OBSERVER PAIRS AND BAYESIAN NETWORK REASONERS ON-BOARD FPGAS:
FLIGHT-CERTIFIABLE SYSTEM HEALTH MANAGEMENT FOR EMBEDDED SYSTEMS
ON-LINE MONITORING FOR TEMPORAL LOGIC ROBUSTNESS
ROSRV: RUNTIME VERIFICATION FOR ROBOTS
TESTING AND BUG FINDING
SYMBOLIC EXECUTION DEBUGGER (SED)
CHECKING DATA STRUCTURE PROPERTIES ORDERS OF MAGNITUDE FASTER
DYNAMIC TEST GENERATION WITH STATIC FIELDS AND INITIALIZERS
RV-MONITOR: EFFICIENT PARAMETRIC RUNTIME VERIFICATION WITH SIMULTANEOUS
PROPERTIES
INFERENCE AND LEARNING
IMPROVING DYNAMIC INFERENCE WITH VARIABLE DEPENDENCE GRAPH
THE TTT ALGORITHM: A REDUNDANCY-FREE APPROACH TO ACTIVE AUTOMATA
LEARNING
LAZY SYMBOLIC EXECUTION FOR ENHANCED LEARNING
FASTER STATISTICAL MODEL CHECKING BY MEANS OF ABSTRACTION AND LEARNING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
RUNTIME VERIFICATION
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 5TH INTERNATIONAL
CONFERENCE ON RUNTIME VERIFICATION, RV 2014, HELD IN TORONTO, ON, CANADA
IN SEPTEMBER 2014. THE 28 REVISED FULL PAPERS PRESENTED TOGETHER WITH 2
TOOL PAPERS, AND 8SHORT PAPERS WERE CAREFULLY REVIEWED AND SELECTED
FROM 70 SUBMISSIONS. THE SCOPE OF THE CONFERENCE WAS ON FOLLOWING
TOPICS: MONITORING AND TRACE SLICING, RUNTIME VERIFICATION OF
DISTRIBUTED AND CONCURRENT SYSTEMS, RUNTIME VERIFICATION OF REAL-TIME
AND EMBEDDED SYSTEMS, TESTING AND BUG FINDING, AND INFERENCE AND
LEARNING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1060389045 |
| building | Verbundindex |
| bvnumber | BV042168943 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)892081908 (DE-599)BVBBV042168943 |
| 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-11164-3 |
| 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">BV042168943</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141105s2014 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319111636</subfield><subfield code="9">978-3-319-11163-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319111643</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-11164-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-11164-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892081908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042168943</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="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">004</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">Runtime verification</subfield><subfield code="b">5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings</subfield><subfield code="c">Borzoo Bonakdarpour .... (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 (XVII, 358 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">8734</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">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Laufzeitsystem</subfield><subfield code="0">(DE-588)4343107-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-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">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmlaufzeit</subfield><subfield code="0">(DE-588)4745613-9</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">Toronto</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Laufzeitsystem</subfield><subfield code="0">(DE-588)4343107-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmlaufzeit</subfield><subfield code="0">(DE-588)4745613-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonakdarpour, Borzoo</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1060389045</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RV</subfield><subfield code="n">5.</subfield><subfield code="d">2014</subfield><subfield code="c">Toronto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1060387964</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">8734</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8734</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-11164-3</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=027608410&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=027608410&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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027608410</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-11164-3</subfield><subfield code="l">DE-634</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-11164-3</subfield><subfield code="l">DE-M347</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-11164-3</subfield><subfield code="l">DE-92</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-11164-3</subfield><subfield code="l">DE-859</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-11164-3</subfield><subfield code="l">DE-861</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-11164-3</subfield><subfield code="l">DE-91</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-11164-3</subfield><subfield code="l">DE-384</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-11164-3</subfield><subfield code="l">DE-473</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-11164-3</subfield><subfield code="l">DE-703</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-11164-3</subfield><subfield code="l">DE-20</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-11164-3</subfield><subfield code="l">DE-706</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-11164-3</subfield><subfield code="l">DE-29</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-11164-3</subfield><subfield code="l">DE-739</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 Toronto gnd-content |
| genre_facet | Konferenzschrift 2014 Toronto |
| id | DE-604.BV042168943 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:18:42Z |
| institution | BVB |
| institution_GND | (DE-588)1060387964 |
| isbn | 9783319111636 9783319111643 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027608410 |
| oclc_num | 892081908 |
| 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 (XVII, 358 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 | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings Borzoo Bonakdarpour .... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XVII, 358 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8734 Formale Methode (DE-588)4333722-3 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Laufzeitsystem (DE-588)4343107-0 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Computerarchitektur (DE-588)4048717-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Programmlaufzeit (DE-588)4745613-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Toronto gnd-content Systemanalyse (DE-588)4116673-5 s Computerarchitektur (DE-588)4048717-9 s Laufzeitsystem (DE-588)4343107-0 s Hardwareverifikation (DE-588)4214982-4 s Formale Methode (DE-588)4333722-3 s DE-604 Programmanalyse (DE-588)4175841-9 s Softwarearchitektur (DE-588)4121677-5 s Programmlaufzeit (DE-588)4745613-9 s Programmverifikation (DE-588)4135576-3 s Bonakdarpour, Borzoo Sonstige (DE-588)1060389045 oth RV 5. 2014 Toronto Sonstige (DE-588)1060387964 oth Lecture notes in computer science 8734 (DE-604)BV014880109 8734 https://doi.org/10.1007/978-3-319-11164-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027608410&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=027608410&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd Laufzeitsystem (DE-588)4343107-0 gnd Programmanalyse (DE-588)4175841-9 gnd Computerarchitektur (DE-588)4048717-9 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Softwarearchitektur (DE-588)4121677-5 gnd Programmlaufzeit (DE-588)4745613-9 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4214982-4 (DE-588)4343107-0 (DE-588)4175841-9 (DE-588)4048717-9 (DE-588)4135576-3 (DE-588)4116673-5 (DE-588)4121677-5 (DE-588)4745613-9 (DE-588)1071861417 |
| title | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings |
| title_auth | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings |
| title_exact_search | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings |
| title_full | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings Borzoo Bonakdarpour .... (eds.) |
| title_fullStr | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings Borzoo Bonakdarpour .... (eds.) |
| title_full_unstemmed | Runtime verification 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings Borzoo Bonakdarpour .... (eds.) |
| title_short | Runtime verification |
| title_sort | runtime verification 5th international conference rv 2014 toronto on canada september 22 25 2014 proceedings |
| title_sub | 5th international conference, RV 2014,Toronto, ON, Canada, September 22 - 25, 2014 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd Laufzeitsystem (DE-588)4343107-0 gnd Programmanalyse (DE-588)4175841-9 gnd Computerarchitektur (DE-588)4048717-9 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Softwarearchitektur (DE-588)4121677-5 gnd Programmlaufzeit (DE-588)4745613-9 gnd |
| topic_facet | Formale Methode Hardwareverifikation Laufzeitsystem Programmanalyse Computerarchitektur Programmverifikation Systemanalyse Softwarearchitektur Programmlaufzeit Konferenzschrift 2014 Toronto |
| url | https://doi.org/10.1007/978-3-319-11164-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027608410&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=027608410&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bonakdarpourborzoo runtimeverification5thinternationalconferencerv2014torontooncanadaseptember22252014proceedings AT rvtoronto runtimeverification5thinternationalconferencerv2014torontooncanadaseptember22252014proceedings |