Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.

By:

(1st : Symposium on Dependable Software Engineering: Theories, Tools and Applications (1st : 2015 : Nanjing, China)

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 9409. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham : Springer, 2015Description: 1 online resource (xix, 317 pages) : color illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319259420
3319259423

Other title:

SETTA 2015

Subject(s): Genre/Form:

Additional physical formats: Printed edition:: No titleDDC classification:

005.1 23

LOC classification:

QA76.758

Online resources:

Click here to access online

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.

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

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.