close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Elena Troubitsyna

Elena TroubitsynaElena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in 2000 on design methods for dependable systems. Her research interests include application of formal methods to development of dependablefault tolerant systems. She also conducts research on combining formal methods with informal techniques of safety analysis and semi-formal design techniques such as UML. She has worked on applying formal methods to development of an industrial fault-tolerant system within EU IST projects MATISSE, RODIN, and DEPLOY. Read More Read Less

14 results found
List viewGrid view
Sort By:
1.
Dependability and Computer Engineering
Publisher: IGI Global
No Review Yet
₹5,122
Binding:
Hardback
Release:
31 Jul 2011
Language:
English
Available
Ships within 10-12 Days Explain..
2.
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops37 %
Available
Ships within 14-16 Days Explain..
3.
Integrated Formal Methods36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
14 Nov 2020
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Rigorous Development of Complex Fault-Tolerant Systems
Available
Ships within 10-12 Days Explain..
5.
Computer Safety, Reliability, and Security37 %
No Review Yet
₹6,350
₹4,001
Binding:
Paperback
Release:
08 Aug 2019
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Software Engineering for Resilient Systems36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
26 Aug 2016
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Methods, Models and Tools for Fault Tolerance36 %
Available
Ships within 14-16 Days Explain..
8.
Software Engineering for Resilient Systems36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
12 Aug 2017
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Computer Safety, Reliability, and Security37 %
No Review Yet
₹7,226
₹4,552
Binding:
Paperback
Release:
09 Aug 2019
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Publisher: IGI Global
No Review Yet
₹15,821
Binding:
Digital download and online
Release:
31 Jul 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Out of Stock
Notify me when this book is in stockNotify Me
13.
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Publisher: IGI Global
No Review Yet
₹15,821
Binding:
Digital download and online
Release:
31 Jul 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Integrated Formal MethodsNR
No Review Yet
₹4,323
Binding:
Paperback
Release:
20 Nov 2020
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA