X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, proceedings (2020)
    Cham, Switzerland :Springer,
    Details
    UID:
    edoccha_BV046878228
    Format: 1 Online-Ressource (xxi, 442 Seiten) : , 49 Illustrationen.
    Edition: Corrected publication
    ISBN: 978-3-030-55754-6
    Series Statement: Lecture notes in computer science 12229
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55753-9
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55755-3
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Software Engineering ; Künstliche Intelligenz ; Computersimulation ; Formale Methode ; Testen ; Verifikation ; Automatisches Beweisverfahren ; Softwareentwicklung ; Systementwicklung ; Konferenzschrift
    DOI: 10.1007/978-3-030-55754-6
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    FU Berlin
    HTW Berlin
    Charité
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Formal methods for industrial critical systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings (2021)
    Cham, Switzerland :Springer,
    Details
    UID:
    almafu_BV047463334
    Format: 1 Online-Ressource : , Illustrationen, Diagramme.
    ISBN: 978-3-030-85248-1
    Series Statement: Lecture notes in computer science 12863
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-85247-4
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-85249-8
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Sicherheitskritisches System ; Formale Methode ; Systemanalyse ; Systementwurf ; Softwareentwicklung ; Verifikation ; Programmiersprache ; Compiler ; Interpretierer ; Software Engineering ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/978-3-030-85248-1
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    FU Berlin
    HTW Berlin
    Charité
    BTU Cottbus
  • 3
    Online Resource
    Online Resource
    NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, proceedings (2020)
    Cham, Switzerland :Springer,
    Details
    UID:
    edocfu_BV046878228
    Format: 1 Online-Ressource (xxi, 442 Seiten) : , 49 Illustrationen.
    Edition: Corrected publication
    ISBN: 978-3-030-55754-6
    Series Statement: Lecture notes in computer science 12229
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55753-9
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55755-3
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Software Engineering ; Künstliche Intelligenz ; Computersimulation ; Formale Methode ; Testen ; Verifikation ; Automatisches Beweisverfahren ; Softwareentwicklung ; Systementwicklung ; Konferenzschrift
    DOI: 10.1007/978-3-030-55754-6
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    FU Berlin
    HTW Berlin
    BTU Cottbus
  • 4
    Online Resource
    Online Resource
    NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, proceedings (2020)
    Cham, Switzerland :Springer,
    Details
    UID:
    almafu_BV046878228
    Format: 1 Online-Ressource (xxi, 442 Seiten) : , 49 Illustrationen.
    Edition: Corrected publication
    ISBN: 978-3-030-55754-6
    Series Statement: Lecture notes in computer science 12229
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55753-9
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55755-3
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Software Engineering ; Künstliche Intelligenz ; Computersimulation ; Formale Methode ; Testen ; Verifikation ; Automatisches Beweisverfahren ; Softwareentwicklung ; Systementwicklung ; Konferenzschrift
    DOI: 10.1007/978-3-030-55754-6
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    FU Berlin
    HTW Berlin
    BTU Cottbus
  • 5
    Online Resource
    Online Resource
    NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, proceedings (2020)
    Cham, Switzerland : Springer
    Details
    UID:
    b3kat_BV046878228
    Format: 1 Online-Ressource (xxi, 442 Seiten) , 49 Illustrationen
    Edition: Corrected publication
    ISBN: 9783030557546
    Series Statement: Lecture notes in computer science 12229
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55753-9
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55755-3
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Software Engineering ; Künstliche Intelligenz ; Computersimulation ; Formale Methode ; Testen ; Verifikation ; Automatisches Beweisverfahren ; Softwareentwicklung ; Systementwicklung ; Konferenzschrift
    DOI: 10.1007/978-3-030-55754-6
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HTW Berlin
    BTU Cottbus
  • 6
    Online Resource
    Online Resource
    NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (2020)
    Cham :Springer International Publishing :
    Details
    UID:
    almahu_9948563929202882
    Format: XXI, 442 p. 49 illus. , online resource.
    Edition: 1st ed. 2020.
    ISBN: 9783030557546
    Series Statement: Programming and Software Engineering ; 12229
    Content: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
    Note: Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783030557539
    Additional Edition: Printed edition: ISBN 9783030557553
    Language: English
    DOI: 10.1007/978-3-030-55754-6
    URL: https://doi.org/10.1007/978-3-030-55754-6
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 7
    Online Resource
    Online Resource
    Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (2021)
    Cham :Springer International Publishing :
    Details
    UID:
    almahu_9949139202502882
    Format: XII, 249 p. 23 illus. , online resource.
    Edition: 1st ed. 2021.
    ISBN: 9783030852481
    Series Statement: Programming and Software Engineering ; 12863
    Content: This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
    Note: Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783030852474
    Additional Edition: Printed edition: ISBN 9783030852498
    Language: English
    DOI: 10.1007/978-3-030-85248-1
    URL: https://doi.org/10.1007/978-3-030-85248-1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 8
    Online Resource
    Online Resource
    NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (2020)
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Details
    UID:
    gbv_1728471982
    Format: 1 Online-Ressource(XXI, 442 p. 49 illus.)
    Edition: 1st ed. 2020.
    ISBN: 9783030557546
    Series Statement: Programming and Software Engineering 12229
    Content: Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
    Content: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
    Additional Edition: ISBN 9783030557539
    Additional Edition: ISBN 9783030557553
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030557539
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030557553
    Language: English
    DOI: 10.1007/978-3-030-55754-6
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
  • 9
    Online Resource
    Online Resource
    Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (2021)
    Cham : Springer International Publishing | Cham : Imprint: Springer
    Details
    UID:
    gbv_1769721274
    Format: 1 Online-Ressource(XII, 249 p. 23 illus.)
    Edition: 1st ed. 2021.
    ISBN: 9783030852481
    Series Statement: Programming and Software Engineering 12863
    Content: Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
    Content: This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
    Additional Edition: ISBN 9783030852474
    Additional Edition: ISBN 9783030852498
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030852474
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783030852498
    Language: English
    DOI: 10.1007/978-3-030-85248-1
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages