Conferences in DBLP
Manfred Broy , Ingolf Krüger Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Brendan P. Mahony Active Objects in TCOZ. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Deng , Jiacun Wang , Rakesh Sinha Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Waeselynck , Salimeh Behnia B Model Animation for External Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Ammann , Paul E. Black , William Majurski Using Model Checking to Generate Tests from Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Taguchi , Keijiro Araki A Calculus Based on the Agent-Place Model. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge , Ian J. Hayes , Brendan P. Mahony Defining Differentiation and Integration in Z. [Citation Graph (0, 0)][DBLP ] Conf ] John A. McDermid , Andy Galloway , Simon Burton , John A. Clark , Ian Toyn , Nigel Tracey , Samuel H. Valentine Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. [Citation Graph (0, 0)][DBLP ] Conf ] J. J. T. Kleijn , J. E. Rooda , Michel A. Reniers A Process Algebra Based Verification of a Production System. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Janowski , Zheng Hongjun , Gustavo Giménez Lugo Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , S. Liu , Mario Ornaghi , Alan Wills Interacting Frameworks in Catalysis. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon A. Rose From Monolithic to Modular Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Tronci Automatic Synthesis of Controllers from Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Mirko Conrad , Dieter Hötzer Selective Integration of Formal Methods in the Development of Electronic Control Units. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiqing Shao , Yongqiang Sun , Guoxin Song , Huiqun Yu Proving Inductive Theorems Using Witnessed Test Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Jason McDonald , Paul A. Strooper Translating Object-Z Specifications to Passive Test Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Kreuz Formal Specification of CORBA Services Using Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Büchi The B Bank: A Complete Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] N. Petalidis , D. S. Gill The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Luiz A. Paula Lima Jr. , Ana R. Cavalli Application of Embedded Testing Methods to Service Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Ian MacColl , Leesa Murray , Paul A. Strooper , David A. Carrington Specification-Based Class Testing: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] 