Conferences in DBLP
C. A. R. Hoare Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Baumeister , Alexandre V. Zamulin State-Based Extensions of CASL. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen , Xia Yong Linking DC Toghether with TRSL. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Fischer , Stefan Conrad Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Butler , Carla Ferreira A Process Compensation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Christie Bolton , Jim Davies Activity Graphs and Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith , Ian J. Hayes Structuring Real-Time Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] H. B. M. Jonkers ISpec: Towards Practical and Sound Interface Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur Cooperation of Formal Methods in an Engineering Based Software Development Process. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Petre , Kaisa Sere Developing Control Systems Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Bryans , Lynne Blair , Howard Bowman , John Derrick Specification and Analysis of Automata-Based Designs. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Graeme Smith Structural Refinement in Object-Z/CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dingel Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Francis Cave Construction of Finite Labelled Transistion Systems from B Abstract Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Reeve , Steve Reeves mu-Charts and Z: Hows, Whys, and Wherefores. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan P. Bowen Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Schulte Why Doesn't Anyone Use Formal Methods? [Citation Graph (0, 0)][DBLP ] Conf ] Yifeng Chen How to Write a Healthiness Condition. [Citation Graph (0, 0)][DBLP ] Conf ] Hanna Klaudel , Franck Pommereau A Concurrent and Compositional Petri Net Semantics of Preemption. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad Rusu , Lydie du Bousquet , Thierry Jéron An Approach to Symbolic Test Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Meyer , Thomas Santen Behavioral Conformance Verification in an Integrated Approach Using UML and B. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Cansell , Dominique Méry , Stephan Merz Predicate Diagrams for the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Alain Masson , Hassan Mountassir , Jacques Julliand Modular Verification for a Class of PLTL Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Hermanns , Joost-Pieter Katoen , Joachim Meyer-Kayser , Markus Siegle Towards Model Checking Stochastic Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] 