1
0
0
(1 - 28 von 30
)
Albany Books
bookmanager.com
Local independent book, game and toy stores since 1985, serving Tsawwassen, South Delta, and Langley since
Elena Troubitsyna (Editor of Methods, Models and Tools for Fault...
www.goodreads.com
Elena Troubitsyna is the author of Methods, Models and Tools for Fault Tolerance (0.0 avg rating, 0 ratings, 0 reviews, published 2009), Dependability an...
bokus.com: Elena Troubitsyna - Böcker | Bokus bokhandel
Köp böcker av Elena Troubitsyna: Computer Safety, Reliability, and Security; Software Engineering for Resilient Systems; Rigorous Development of Complex...
Elena Troubitsyna | Papers With Codepaperswithcode.com › author › elena-troubitsyna
paperswithcode.com
no code implementations • 19 Dec • Adnan Ashraf, Amin Majd, Elena Troubitsyna. We also present a simulation-based implementation of the proposed system ...
Computer Safety, Reliability, and Security: 23rd International...
books.google.de
Refinement of Fault Tolerant Control Systems in B Linas Laibinis and Elena Troubitsyna Åbo Akademi, Department of Computer Science, Lemminkäisenkatu
Industrial Deployment of System Engineering Methods - Google Books
books.google.de
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful....
Methods, Models and Tools for Fault Tolerance - Google Books
books.google.de
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. Volume Editors Michael Butler University of Southampton School of Electronics and ...
Methods, Models and Tools for Fault Tolerance von Michael Butler ...www.lehmanns.de › Mathematik / Informatik › Informatik › Netzwerke
www.lehmanns.de
Methods, Models and Tools for Fault Tolerance von Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (ISBN ) bestellen ...
bokus.com: Software Engineering for Resilient Systems - Ivica Crnkovic, Elena...
Köp Software Engineering for Resilient Systems av Ivica Crnkovic, Elena Troubitsyna. Skickas inom vardagar. Fri frakt över 199 kr. Välkommen till Bokus...
Publications by Dr Elena Troubitsyna - ePrints - Newcastle University
eprints.ncl.ac.uk
Newcastle Authors, Title · Year, Full text. Professor Alexander Romanovsky · Dr Elena Troubitsyna · Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings, Dr Alexei Iliasov · Professor Alexander Romanovsky · Dr Elena ...
Program Development by Refinement: Case Studies Using the B Method -...
books.google.de
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team...
Rigorous Development of Complex Fault-Tolerant Systems - Google Books
books.google.de
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing...
Software Engineering for Resilient Systems: 5th International...
books.google.de
This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev,...
bokus.com: Elena Jones - Böcker | Bokus bokhandel
Köp böcker av Elena Jones: Exit Narratives; Footnotes; Analysis of He I NM Imaging Spectroscopy Using a... m.fl.
Software Engineering for Resilient Systems on Apple Books
books.apple.com
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in...
Software Engineering for Resilient Systems: Fourth International...
books.google.de
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa,...
Publications
www.redcad.org
ReDCAD: Research laboratory on Development and Control of Distributed Applications
Formal Methods and Software Engineering: 8th International Conference...
books.google.de
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November...
Computer Safety, Reliability, and Security: SAFECOMP Workshops,...
books.google.de
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability...
New Books in Carlson Library
www.utoledo.edu
New York and London : Routledge, INTERNET New York, NY : Routledge, Taylor & Francis Group, Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / Alexander Romanovsky, Elena A. Troubitsyna (eds.).
Rigorous Development of Complex Fault-Tolerant Systemsbooks.google.de › books
books.google.de
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. Rigorous Development of Fault-Tolerant Agent Systems Linas Laibinis1, ...
Rapid Integration of Software Engineering Techniques: Second...
books.google.de
... Elena Troubitsyna Åbo Akademi, Department of Computer Science, Lemminkäisenkatu 14 A, FIN Turku, Finland (Linas.Laibinis, Elena. Troubitsyna) ...
Software Engineering for Resilient Systems: Third International...
books.google.de
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva,...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International...
books.google.de
Formal Derivation of Distributed MapReduce Inna Pereverzeva1,2, Michael Butler3, Asieh Salehi Fathabadi3, Linas Laibinis1, and Elena Troubitsyna1 1 ̊Abo Akademi University, Turku, Finland 2 Turku Centre for Computer Science, Turku, Finland 3 University of Southampton, UK {inna.pereverzeva,elena. troubitsyna ...
Integrated Formal Methods: 9th International Conference, IFM 2012,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June The...
Formal Methods for Industrial Critical Systems: 15th International...
books.google.de
... {linas.laibinis,elena.troubitsyna} ...
Verwandte Suchanfragen zu Elena Troubitsyna
Alexander Romanovsky Natalia Starostina Domenico Cotroneo | Mario Trapp |
Personen Vorname "Elena" (18830) Name "Troubitsyna" (1) |
sortiert nach Relevanz / Datum