Conferences in DBLP
B (b) Jean-Raymond Abrial On B. [Citation Graph (0, 0)][DBLP ] Conf ] Carroll Morgan The Generalised Substitution Language Extended to Probabilistic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Behm , Pierre Desforges , Jean-Marc Meynadier MÉTÉOR : An Industrial Success in Formal Development. [Citation Graph (0, 0)][DBLP ] Conf ] François Pilarski Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Behm , Lilian Burdy , Jean-Marc Meynadier Well Defined B. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Laure Potet , Yann Rouzaud Composition and Refinement in the B-Method. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Chartier Formalisation of B in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial , Louis Mussat Introducing Dynamic Constraints in B. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach , Michael Poppleton Retrenchment: An Engineering Variation on Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Matthews , Brian Ritchie , Juan Bicarregui Synthesising Structure from Flat Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Malioukov An Object-Based Approach to the B Formal Method. [Citation Graph (0, 0)][DBLP ] Conf ] Emil Sekerinski Graphical Design of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Pétin , Gérard Morel , Dominique Méry , Patrick Lamboley Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. [Citation Graph (0, 0)][DBLP ] Conf ] Souâd Taouil-Traverson , Sylvie Vignes Designing a B Model for Safety-Critical Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Stoddart , Steve Dunne , Andy Galloway , Richard Shore Abstract State Machines: Designing Distributed Systems with State Machines and B. [Citation Graph (0, 0)][DBLP ] Conf ] Marina A. Waldén Layering Distributed Algorithms within the B-Method. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp A. Heuberger Two Strategies to Data-Refine an Equivalence to a Forest. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Julliand , Bruno Legeard , Thierry Machicoane , Benoit Parreaux , Bruno Tatibouët Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Treharne , J. Draper , Steve Schneider Test Case Preparation Using a Prototype. [Citation Graph (0, 0)][DBLP ] Conf ] 