Conferences in DBLP
Anthony Hall What Does Industry Need From Formal Specification Techniques? [Citation Graph (0, 0)][DBLP ] Conf ] Lars Mats Selection Criteria for Automated TTCN Test Case Generation from SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Constance L. Heitmeyer Using the SCR* Toolset to Specify Software Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu , Masashi Asuka , Kiyotoshi Komaya , Yasuaki Nakamura Applying SOFL to Specify A Railway Crossing Controller for Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Kasilingam Periyasamy , Vangalur S. Alagar Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Dietz , Thomas Weigert , Frank Weil Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Bruel Integrating Formal and Informal Specification Techniques. Why? How? [Citation Graph (0, 0)][DBLP ] Conf ] Mats Per Erik Heimdahl , Constance L. Heitmeyer Formal Methods For Developing High Assurance Computer Systems: Working Group Report. [Citation Graph (0, 0)][DBLP ] Conf ] Betty H. C. Cheng A Discussion About Integrated Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Mille The Industrial Use of Formal Methods: Was Darwin Right? [Citation Graph (0, 0)][DBLP ] Conf ] Siddhartha R. Dalal , Ashish Jain , Gardner C. Patton , Manish Rathi , Paul D. Seymour AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Blackburn T-VECTM Product Summary. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Mikk , Yassine Lakhnech , Michael Siegel , Gerard J. Holzmann Implementing Statecharts in PROMELA/SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Andy S. Evans Reasoning with UML Class Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Beat Koch , Jens Grabowski , Dieter Hogrefe , Michael Schmitt II Autolink: A Tool for Automatic Test Generation from SDL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Godefroid , John Kelly , Steven P. Miller , Frank Weil Transferring Formal Methods Technology to Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Weil WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Blackburn , Robert Busser Requirements for Industrial-Strength Formal Method Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Martin S. Feather , Julia R. Dunphy , Nicolas Rouquette "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. [Citation Graph (0, 0)][DBLP ] Conf ] 