Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
2015
QA76.758
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 [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Meeting Name
Symposium on Dependable Software Engineering: Theories, Tools and Applications (1st : 2015 : Nanjing, China)
ISBN
9783319259420 electronic book
3319259423 electronic book
9783319259413
3319259423 electronic book
9783319259413
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xix, 317 pages) : illustrations.
Item Number
10.1007/978-3-319-25942-0 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 9409.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783319259413
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources