Conferences in DBLP
Ricardo Civalero , Bengt Jonsson , Joakim Nilsson Validating Simulations Between Large Nondeterministic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Quemada , David Larrabeiti , Santiago Pavón Compressing the State Space Representation of LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Younes Souissi Towards a Modular Specification and Verification of Protocols within a Layered Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Ole Christian Dahl , Elie Najm Specification & Detection of IN Service Interference Using LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Turner , Richard O. Sinnott DILL: Specifying Digital Logic in LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Ferhat Khendek , Gregor von Bochmann Incremental Construction Approach for Distributed System Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Colin H. West The Challenges Facing Formal Description Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Bredereke , Reinhard Gotzhein Increasing the Concurrency in Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] S. Purushothaman Iyer Experiments in Data flow analysis of Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Lo , Richard Lai Integrating Estelle and ASN.1 for Automatic Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Fischer , Bernd Hofmann An Estelle Compiler for Multiprocessor Platforms. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme I. Parkin , Stephen Austin Overview: Survey of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Katsuyuki Sarashina , Tsuyoshi Ando , Kaoru Takahashi , Masataka Ohta , Yoshiaki Tokita An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Gonzalo León , J. Carracedo , J. C. Moreno , Juan C. Yelmo , Juan J. Gil , Carlos Sánchez , F. Javier Carrasco An Industrial Experience on Development with LOTOS and SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Narain , Orville Cockings , Ritu Chadha A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Joost-Pieter Katoen , Rom Langerak , Diego Latella Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Heping He , Hussein Zedan Requirement Specification For Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hüsnü Yenigün , Esfandiar Haghverdi , S. Bilgen , K. Inan A recursive process algebra for queues. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Ladkin , Stefan Leue What Do Message Sequence Charts Mean? [Citation Graph (0, 0)][DBLP ] Conf ] Son T. Vuong , Sangho Lee TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan Ural , Alan W. Williams Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Jari Arkko On the Existence and Production of State Identification Machines for Labelled Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ana R. Cavalli , Sung Un Kim , Patrick Maigron Improving Conformance Testing for LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Butler W. Lampson , Nancy A. Lynch , Jørgen F. Søgaard-Andersen Correctness of At-Most-Once Message Delivery Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] A. Divin , Claude Petitpierre An Object Oriented Method for Implementing Layered Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Manuela Marques , Dag Belsnes , Malachy Murphy Formalisation Based on Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Giuseppe Ciaccio Cumulating constraints on the "WHEN" and the "WHAT". [Citation Graph (0, 0)][DBLP ] Conf ] Akio Nakata , Teruo Higashino , Kenichi Taniguchi LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman , Gordon S. Blair , Lynne Blair , Amanda G. Chetwynd Time Versus Abstraction in Formal Description. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Léonard , Guy Leduc An Enhanced Version of Timed LOTOS and its Application to a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] 