Xuandong Li,
Zhiming Liu,
Wang Yi
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Paperback Engels 2015 9783319259413
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319259413
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Hoofdrubriek:Grafisch, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan