Dependable software systems engineering /:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam, Netherlands :
IOS Press,
2017.
|
| Schriftenreihe: | NATO science for peace and security series. Information and communication security ;
v. 50. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." Includes indexes. |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781614998105 1614998108 |
| ISSN: | 1879-8292 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1012107245 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 171117s2017 ne ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IOSPR |d IDEBK |d EBLCP |d N$T |d YDX |d OCLCF |d MERUC |d CUY |d EZ9 |d INT |d OCLCQ |d LVT |d G3B |d OCLCQ |d IGB |d STF |d OCLCQ |d K6U |d VT2 |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1012500698 |a 1249230814 | ||
| 020 | |a 9781614998105 |q (electronic bk.) | ||
| 020 | |a 1614998108 |q (electronic bk.) | ||
| 020 | |z 9781614998099 |q (print) | ||
| 020 | |z 1614998094 |q (print) | ||
| 035 | |a (OCoLC)1012107245 |z (OCoLC)1012500698 |z (OCoLC)1249230814 | ||
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 7 | |a 005.1 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a NATO Advanced Studies Institute on Dependable Software Systems Engineering |d (2016 : |c Marktoberdorf, Germany) | |
| 245 | 1 | 0 | |a Dependable software systems engineering / |c edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. |
| 264 | 1 | |a Amsterdam, Netherlands : |b IOS Press, |c 2017. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a NATO science for peace and security series, Sub-series D, Information and communication security, |x 1879-8292 ; |v vol. 50 | |
| 500 | |a "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." | ||
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (IOS Press, viewed November 20, 2017). | |
| 505 | 0 | 0 | |g Machine generated contents note: |t Reactive Synthesis: Towards Output-Sensitive Algorithms / |r Felix Klein -- |t Computing the Next-State Function of a Requirements Model / |r M.M. Archer -- |t From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / |r Axel Legay -- |t Viper: A Verification Infrastructure for Permission-Based Reasoning / |r Alexander J. Summers -- |t Automata Based Validation Techniques / |r Doron Peled -- |t Defect-Based Testing / |r Alexander Pretschner -- |t Temporal Logic as Filtering / |r Radu Grosu -- |t K: A Semantic Framework for Programming Languages and Formal Analysis Tools / |r Grigore Rosu -- |t Assurance and Assurance Cases / |r John Rushby. |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer software |x Reliability |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 6 | |a Logiciels |x Fiabilité |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Reliability |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Pretschner, Alexander, |e editor. | |
| 700 | 1 | |a Peled, Doron A., |d 1962- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP |0 http://id.loc.gov/authorities/names/n96106229 | |
| 700 | 1 | |a Hutzelmann, Thomas, |e editor. | |
| 758 | |i has work: |a Dependable software systems engineering (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 1614998094 |z 9781614998099 |w (OCoLC)1011111575 |
| 830 | 0 | |a NATO science for peace and security series. |n Sub-series D, |p Information and communication security ; |v v. 50. |0 http://id.loc.gov/authorities/names/no2007140990 | |
| 856 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351 |3 Volltext | |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL5150839 | ||
| 938 | |a EBSCOhost |b EBSC |n 1632351 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis39307012 | ||
| 938 | |a YBP Library Services |b YANK |n 14992121 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1012107245 |
|---|---|
| _version_ | 1813903775930253312 |
| adam_text | |
| any_adam_object | |
| author2 | Pretschner, Alexander Peled, Doron A., 1962- Hutzelmann, Thomas |
| author2_role | edt edt edt |
| author2_variant | a p ap d a p da dap t h th |
| author_GND | http://id.loc.gov/authorities/names/n96106229 |
| author_additional | Felix Klein -- M.M. Archer -- Axel Legay -- Alexander J. Summers -- Doron Peled -- Alexander Pretschner -- Radu Grosu -- Grigore Rosu -- John Rushby. |
| author_corporate | NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| author_corporate_role | |
| author_facet | Pretschner, Alexander Peled, Doron A., 1962- Hutzelmann, Thomas NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| author_sort | NATO Advanced Studies Institute on Dependable Software Systems Engineering Marktoberdorf, Germany |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Reactive Synthesis: Towards Output-Sensitive Algorithms / Computing the Next-State Function of a Requirements Model / From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Viper: A Verification Infrastructure for Permission-Based Reasoning / Automata Based Validation Techniques / Defect-Based Testing / Temporal Logic as Filtering / K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Assurance and Assurance Cases / |
| ctrlnum | (OCoLC)1012107245 |
| 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 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03951cam a2200625 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1012107245</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">171117s2017 ne ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">IDEBK</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCF</subfield><subfield code="d">MERUC</subfield><subfield code="d">CUY</subfield><subfield code="d">EZ9</subfield><subfield code="d">INT</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LVT</subfield><subfield code="d">G3B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IGB</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1012500698</subfield><subfield code="a">1249230814</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614998105</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614998108</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614998099</subfield><subfield code="q">(print)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1614998094</subfield><subfield code="q">(print)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012107245</subfield><subfield code="z">(OCoLC)1012500698</subfield><subfield code="z">(OCoLC)1249230814</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Studies Institute on Dependable Software Systems Engineering</subfield><subfield code="d">(2016 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable software systems engineering /</subfield><subfield code="c">edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam, Netherlands :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2017.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO science for peace and security series, Sub-series D, Information and communication security,</subfield><subfield code="x">1879-8292 ;</subfield><subfield code="v">vol. 50</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (IOS Press, viewed November 20, 2017).</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="g">Machine generated contents note:</subfield><subfield code="t">Reactive Synthesis: Towards Output-Sensitive Algorithms /</subfield><subfield code="r">Felix Klein --</subfield><subfield code="t">Computing the Next-State Function of a Requirements Model /</subfield><subfield code="r">M.M. Archer --</subfield><subfield code="t">From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning /</subfield><subfield code="r">Axel Legay --</subfield><subfield code="t">Viper: A Verification Infrastructure for Permission-Based Reasoning /</subfield><subfield code="r">Alexander J. Summers --</subfield><subfield code="t">Automata Based Validation Techniques /</subfield><subfield code="r">Doron Peled --</subfield><subfield code="t">Defect-Based Testing /</subfield><subfield code="r">Alexander Pretschner --</subfield><subfield code="t">Temporal Logic as Filtering /</subfield><subfield code="r">Radu Grosu --</subfield><subfield code="t">K: A Semantic Framework for Programming Languages and Formal Analysis Tools /</subfield><subfield code="r">Grigore Rosu --</subfield><subfield code="t">Assurance and Assurance Cases /</subfield><subfield code="r">John Rushby.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Génie logiciel</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Fiabilité</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software engineering</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pretschner, Alexander,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peled, Doron A.,</subfield><subfield code="d">1962-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n96106229</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hutzelmann, Thomas,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Dependable software systems engineering (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">1614998094</subfield><subfield code="z">9781614998099</subfield><subfield code="w">(OCoLC)1011111575</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science for peace and security series.</subfield><subfield code="n">Sub-series D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 50.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2007140990</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL5150839</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1632351</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis39307012</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14992121</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-on1012107245 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-25T16:24:03Z |
| institution | BVB |
| isbn | 9781614998105 1614998108 |
| issn | 1879-8292 ; |
| language | English |
| oclc_num | 1012107245 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | IOS Press, |
| record_format | marc |
| series | NATO science for peace and security series. Information and communication security ; |
| series2 | NATO science for peace and security series, Sub-series D, Information and communication security, |
| spelling | NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany) Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. Amsterdam, Netherlands : IOS Press, 2017. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier NATO science for peace and security series, Sub-series D, Information and communication security, 1879-8292 ; vol. 50 "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." Includes indexes. Online resource; title from PDF title page (IOS Press, viewed November 20, 2017). Machine generated contents note: Reactive Synthesis: Towards Output-Sensitive Algorithms / Felix Klein -- Computing the Next-State Function of a Requirements Model / M.M. Archer -- From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Axel Legay -- Viper: A Verification Infrastructure for Permission-Based Reasoning / Alexander J. Summers -- Automata Based Validation Techniques / Doron Peled -- Defect-Based Testing / Alexander Pretschner -- Temporal Logic as Filtering / Radu Grosu -- K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Grigore Rosu -- Assurance and Assurance Cases / John Rushby. Includes bibliographical references and index. Software engineering Congresses. Computer software Reliability Congresses. Génie logiciel Congrès. Logiciels Fiabilité Congrès. COMPUTERS Software Development & Engineering General. bisacsh Computer software Reliability fast Software engineering fast Conference papers and proceedings fast Pretschner, Alexander, editor. Peled, Doron A., 1962- editor. https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP http://id.loc.gov/authorities/names/n96106229 Hutzelmann, Thomas, editor. has work: Dependable software systems engineering (Text) https://id.oclc.org/worldcat/entity/E39PCFyWmVYGtTP47Q9xH7HcT3 https://id.oclc.org/worldcat/ontology/hasWork Print version: 1614998094 9781614998099 (OCoLC)1011111575 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 50. http://id.loc.gov/authorities/names/no2007140990 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351 Volltext |
| spellingShingle | Dependable software systems engineering / NATO science for peace and security series. Information and communication security ; Reactive Synthesis: Towards Output-Sensitive Algorithms / Computing the Next-State Function of a Requirements Model / From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Viper: A Verification Infrastructure for Permission-Based Reasoning / Automata Based Validation Techniques / Defect-Based Testing / Temporal Logic as Filtering / K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Assurance and Assurance Cases / Software engineering Congresses. Computer software Reliability Congresses. Génie logiciel Congrès. Logiciels Fiabilité Congrès. COMPUTERS Software Development & Engineering General. bisacsh Computer software Reliability fast Software engineering fast |
| title | Dependable software systems engineering / |
| title_alt | Reactive Synthesis: Towards Output-Sensitive Algorithms / Computing the Next-State Function of a Requirements Model / From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Viper: A Verification Infrastructure for Permission-Based Reasoning / Automata Based Validation Techniques / Defect-Based Testing / Temporal Logic as Filtering / K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Assurance and Assurance Cases / |
| title_auth | Dependable software systems engineering / |
| title_exact_search | Dependable software systems engineering / |
| title_full | Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. |
| title_fullStr | Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. |
| title_full_unstemmed | Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. |
| title_short | Dependable software systems engineering / |
| title_sort | dependable software systems engineering |
| topic | Software engineering Congresses. Computer software Reliability Congresses. Génie logiciel Congrès. Logiciels Fiabilité Congrès. COMPUTERS Software Development & Engineering General. bisacsh Computer software Reliability fast Software engineering fast |
| topic_facet | Software engineering Congresses. Computer software Reliability Congresses. Génie logiciel Congrès. Logiciels Fiabilité Congrès. COMPUTERS Software Development & Engineering General. Computer software Reliability Software engineering Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351 |
| work_keys_str_mv | AT natoadvancedstudiesinstituteondependablesoftwaresystemsengineeringmarktoberdorfgermany dependablesoftwaresystemsengineering AT pretschneralexander dependablesoftwaresystemsengineering AT peleddorona dependablesoftwaresystemsengineering AT hutzelmannthomas dependablesoftwaresystemsengineering |