• Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
Band 12153

Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.11.2020

Herausgeber

Jun Pang + weitere

Verlag

Springer

Seitenzahl

203

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

341 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-62821-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.11.2020

Herausgeber

Verlag

Springer

Seitenzahl

203

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

341 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-62821-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • The Road Ahead for Supervisor Synthesis.- Reentrancy? Yes. Reentrancy bug? No.- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets.- Modelling and Implementation of Unmanned Aircraft Collision Avoidance.- Randomized Re nement Checking of Timed I/O Automata.- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata.- Compiling FL^{res} on Finite Words.- Symbolic Model Checking with Sentential Decision Diagrams.- Probably Approximately Correct Interpolants Generation.- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.- Learning Safe Neural Network Controllers with Barrier Certificates.- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.