Conferences in DBLP
Stuart Anderson , Konstantinos Tourlas Diagrams and Programming Languages for Programmable Controllers. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:1-19 [Conf ] Henning Dierks , Cheryl Dietz Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:20-39 [Conf ] Gianna Reggio , Mauro Larosa A Graphic Notation for Formal Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:40-61 [Conf ] Graeme Smith A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:62-81 [Conf ] Anna Mikhajlova , Emil Sekerinski Class Refinement and Interface Refinement in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:82-101 [Conf ] Stephan Kleuker Formalizing Requirements for Distributed Systems with Trace Diagrams. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:102-121 [Conf ] Franz Huber , Bernhard Schätz , Geralf Einert Consistent Graphical Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:122-141 [Conf ] Kevin Lano , Ana Sánchez Design of Reactive Control Systems for Event-Drivem Operations. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:142-161 [Conf ] Hans Fleischhack , Josef Tapken An M-Net Semantics for a Real-Time Extension of µSDL. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:162-181 [Conf ] Manfred Broy , Radu Grosu , Cornel Klein Reconciling Real-Time with Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:182-200 [Conf ] Martin Schönhoff , Mojgan Kowsari Specifying the Remote Control of Valves in an Explosion Test Environment. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:201-220 [Conf ] Lionel Devauchelle , Peter Gorm Larsen , Henrik Voss PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:221-236 [Conf ] William D. Young , William R. Bevier Mathematical Modeling and Analysis of an External Memory Manager. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:237-257 [Conf ] Paul Mukherjee Automatic Translation of VDM-SL Specifications into Gofer. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:258-277 [Conf ] Sten Agerholm , Jacob Frost Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:278-297 [Conf ] Kevin Lano , Juan Bicarregui , José Luiz Fiadeiro , Antónia Lopes Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:298-317 [Conf ] Haykal Tej , Burkhart Wolff A Corrected Failure Divergence Model for CSP in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:318-337 [Conf ] Bernhard K. Aichernig , Peter Gorm Larsen A Proof Obligation Generator for VDM-SL. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:338-357 [Conf ] Marc Mehdi Ayadi , Dominique Bolignano Verification of Cryptographic Protocols: An Experiment. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:358-377 [Conf ] Jean-Charles Grégoire TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:378-397 [Conf ] Abdelillah Mokkedem , Michael J. Ferguson , Robert de B. Johnston A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:398-417 [Conf ] J. M. R. Martin , S. A. Jassim An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:418-441 [Conf ] Shenwei Yu , Zhaohui Luo Implementing a Model Checker for LEGO. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:442-458 [Conf ] Axel Dold , Friedrich W. von Henke , Holger Pfeifer , Harald Rueß Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:459-472 [Conf ] Richard F. Paige A Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:473-494 [Conf ] David Hemer , Peter A. Lindsay Reuse of Verified Design Templates Through Extended Pattern Matching. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:495-514 [Conf ] Frank S. de Boer , Ulrich Hannemann , Willem P. de Roever A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:515-532 [Conf ] Pierre Michel , Virginie Wiels A Framework for Modular Formal Specification and Verification. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:533-552 [Conf ] Carsta Petersohn , Luis Urbina A Timed Semantics for the STATEMATE Implementation of Statecharts. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:553-572 [Conf ] David W. J. Stringer-Calvert , Susan Stepney , Ian Wand Using PVS to Prove a Z Refinement: A Case Study. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:573-588 [Conf ] Pertti Kellomäki Verification of Reactive Systems Using DisCo and PVS. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:589-604 [Conf ] David Cazier , Jean-François Dufourd Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:605-623 [Conf ] Leila Silva , Augusto Sampaio , Edna Barros A Normal Form Reduction Strategy for Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:624-643 [Conf ] Eerke A. Boiten , Howard Bowman , John Derrick , Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:644-664 [Conf ] Michel Charpentier A UNITY Mapping Operator for Distributed Programs. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:665-684 [Conf ]