Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings / Jun Pang, Lijun Zhang (eds.).
SETTA (Symposium) (6th : 2020 : Guangzhou, China); Pang, Jun (Computer scientist), editor.; Zhang, Lijun, 1979- editor.
2020
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings / Jun Pang, Lijun Zhang (eds.).
Meeting Name SETTA (Symposium) (6th : 2020 : Guangzhou, China)
ISBN 9783030628222 (electronic book)
3030628221 (electronic book)
3030628213
9783030628215
DOI https://doi.org/10.1007/978-3-030-62822-2
Published Cham, Switzerland : Springer, [2020]
Language English
Description 1 online resource (iii, 203 pages) : illustrations
Item Number 10.1007/978-3-030-62822-2 doi
Call Number QA76.758
Dewey Decimal Classification 005.1
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed January 27, 2021).
Added Author Pang, Jun (Computer scientist), editor.
Zhang, Lijun, 1979- editor.
Series Lecture notes in computer science ; 12153.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783030628215
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export