1
0
0
(1 - 19 von 20
)
Les livres de l'auteur : Laurent VoisinDecitre
www.decitre.fr
Retrouvez tous les livres de l'auteur : Laurent Voisin. Achetez parmi plus d'un million de livres - Decitre.fr : 3ème libraire en ligne
Laurent VoisinKrin.gs
krin.gs
Laurent Voisin. Latest. The First Twenty-Five Years of Industrial Use of the B Method · The History and Evolution of B and Event-B.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International...
books.google.de
The original team was made of Laurent Voisin, Stefan Hallerstede, Farhad Mehta , and Thai Son Hoang. Later, François Terrier and Mathias Schmalz joined the ...
Histoire du Duché de Valois par Claude Carlier - Claude Carlier -...
books.google.de
Laurent Voisin, Chanoine de Chartres, rem- plissoit alors cc poste important. II ordonna , que Renaud le Lormier (le Prevôt se nommoit ainsi) accorderoit toute ...
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....
Abstract State Machines, Alloy, B and Z: Second International...
books.google.de
The author thanks Laurent Voisin for providing examples and Carine Pascal for sharing information on plug-in development for Rodin. The initial implementation ...
Integrated Formal Methods: 10th International Conference, IFM 2013,...
books.google.de
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June...
Abstract State Machines, B and Z: First International Conference, ABZ...
books.google.de
... Martin Ouimet Abdolbaghi Rezazadeh Patrizia Scandurra Laurent Voisin Table of Contents Chapter 1. ABZ Invited Talks Complex Hardware VIII Organization.
Jeunes chefs - Gault & Millau: Leurs meilleures recettes - Philippe...
books.google.de
Pour la première fois, 24 jeunes chefs consacrés par Gault & Millau
B 2007: Formal Specification and Development in B: 7th International...
books.google.de
... over several months with at least one meeting per week. The other two participants were Jean-Raymond Abrial and Laurent Voisin, both also at ETH Zurich.
Modeling in Event-B: System and Software Engineering - Jean-Raymond...
books.google.de
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing...
FM 2006: Formal Methods: 14th International Symposium on Formal...
books.google.de
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August The book...
Industrial Deployment of System Engineering Methodsgoogle.de
books.google.de
Michael Butler, Laurent Voisin, and Thomas Muller Abstract Together with many Rodin plug-ins, the Rodin platform supports the application of ...
The Armor of Light: Stained Glass in Western France,
books.google.de
This landmark study is the first to look closely at the stained glass produced between and in western France during the late Capetian era. Generously...
Formal Methods and Software Engineering: 13th International...
books.google.de
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October...
Modeling in Event-B: System and Software Engineeringgoogle.de
books.google.de
Members of the teams were Laurent Voisin, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, François Terrier, and Matthias Schmalz.
Implicit and Explicit Semantics Integration in Proof-Based...
books.google.pl
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to...
Integrated Formal Methods: 10th International Conference, ...
books.google.pl
The technical leader of the project was Laurent Voisin working with by Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, and François Terrier.
FME 2003: Formal Methods: International Symposium of Formal Methods...
books.google.de
... C Programs⋆ Didier Bert3, Sylvain Boulmé3, Marie-Laure Potet3, Antoine Requet2, and Laurent Voisin1 1 ClearSy, Aix-en-Provence, France, Laurent.Voisin ...
Verwandte Suchanfragen zu Laurent Voisin
Personen Vorname "Laurent" (3857) Name "Voisin" (87) |
sortiert nach Relevanz / Datum