Elena Troubitsyna und Development - Info zur Person

(1 - 15 von 23

)

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...

Publications

www.redcad.org

ReDCAD: Research laboratory on Development and Control of Distributed Applications

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....

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...

[ ] Development of Fault Tolerant MAS with Cooperative Error...

arxiv.org

Authors: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. (Submitted on 26 Oct 2012). Abstract: Designing fault tolerance mechanisms for multi-agent ...

Integrating stochastic reasoning into Event-B development - ProQuest

www.proquest.com

development. Anton Tarasyuk. ∗. , Elena Troubitsyna and Linas Laibinis. Åbo Akademi University, Joukahaisenkatu 3-5, Turku, Finland.

Integrating stochastic reasoning into Event-B development |...

link.springer.com

Dependability is a property of a computer system to deliver services that can be justifiably trusted. Formal modelling and verification techniques are wide

Formal Service-Oriented Development of Fault Tolerant Communicating...

slideplayer.com

Approach Formalisation of UML2-based service-oriented methodology Lyra developed in the Nokia Research Center In Lyra the system behaviour is modularised and...

IST Rodin Project Towards Formal Development of Mobile Location-based...

slideplayer.com

IST Rodin Project CAMA Architecture Agent – global structuring unit of the system Scope – structuring unit of coordination space and agent activity Role –...

Industry Day Paris Rodin Methodology for Developing Fault Tolerant...

slideplayer.com

Industry Day Paris Talk outline Systems approach Fault tolerant control systems Distributed systems: fault tolerance in service-oriented development Middleware...

Program – Serene DISIM

serene.disim.univaq.it

A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System, Inna Pereverzeva, Elena Troubitsyna, and Linas Laibinis.

7th Estonian Summer School on Computer and Systems Science | Main /...

courses.cs.ut.ee

Model-based testing (Jüri Vain) Model-driven development of FTT (Elena Troubitsyna), Bus to Tallinn. 15:30, Bus, Energy-break, Energy-break, 16:15. Energy- ...

Alle Infos zum Namen "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

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Elena Troubitsyna und Development Person-Info