Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
Mes blogs, web pages
Search This Blog
Followers, Abonnés fidèles
About Me
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
Blog Archive
-
▼
2010
(52)
-
▼
October
(28)
- FSEN '11
- The Space and Motion of Communicating Agents
- Cours et exercices corrigés d'algorithmique
- Death of Jean-Claude Laprie
- Méthodes de spécification de systèmes temps réel en B
- THE PROGRAMMING LANGUAGE B
- B vs. Coq to prove a Garbage Collector
- Processus de validation basée sur la notion de pro...
- Formal Methods in Safety-Critical Railway Systems
- Vers une méthodologie de Validation et de Vérifica...
- The Development of a Probabilistic B-Method and a ...
- Les bases du langage B
- A formal specification of the javaByte code semant...
- Using B Method to Formalize the Java Card Runtime ...
- How to formally specify the Java Bytecode semantic...
- Formalisation and Veri¯cation of the GlobalPlatfor...
- ProB: An Automated Analysis Toolset for the B Method
- Applying the B Formal Method to the Bossa Domain-S...
- Cooperation Between the B Method and the Automata ...
- PBS, support of the B Method in PVS, Cesar Munoz, SRI
- Component-based Development using the B method
- Tutorial on the B method
- The B Method for Programmers
- The formal method known as B and a sketch for its ...
- Program Development by Refinement: Case Studies Us...
- Security of Computer Architectures, Jean-Louis Bou...
- Le dernier livre d'Umberto Eco en français
- FM 2011 (20-24 June 2011, Limerick, Ireland): Call...
-
▼
October
(28)
No comments:
Post a Comment