Elena Troubitsyna und Methods - Info zur Person

(1 - 15 von 22

)

Deploy - News and Events

deploy-project.org

industrial deployment of system engineering methods providing high dependability and productivity

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

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

Success Stories in Formal Methods

www-i2.informatik.rwth-aachen.de

Satellite Software: Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: ...

Schloss Dagstuhl : Seminar Homepage

www.dagstuhl.de

Engineering Resilient Systems: Models, Methods and Tools ... Elena Troubitsyna (Abo Akademi University, FI) For support, please contact. Dagstuhl Service Team.

Elena Troubitsyna | IGI Global

www.igi-global.com

Elena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in on design methods for dependable...

Elena Troubitsyna: List of Publications

www.users.abo.fi

Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, and Silke Holtmanns. 18th International Conference on Formal Engineering Methods ...

DROPS - Engineering Resilient Systems: Models, Methods and Tools...

drops.dagstuhl.de

The Dagstuhl Seminar "Engineering Resilient Systems: Models, Methods and ... Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna

Rodin User’s Handbook v.2.8: Foreword

www3.hhu.de

... (Kaisa Sere, Elena Troubitsyna) and Jean-Raymond to put together an EU proposal on formal methods for dependable systems. That became the RODIN project ...

Doctoral Symposium of Formal Methods | FM 2015

fm2015.ifi.uio.no

Cristina Seceleanu, Mälardalen University, Sweden Emil Sekerinski, McMaster University, Canada Graeme Smith, University of Queensland, Australia Meng Sun, Peking University, China Elena Troubitsyna, Aabo Akademi, Finland Margus Veanes, Microsoft Research, USA Uwe Wolter, University of ...

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 Methods Person-Info