default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th FORTE 1993: Boston, MA, USA
- Richard L. Tenney, Paul D. Amer, M. Ümit Uyar:
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. IFIP Transactions C-22, North-Holland 1994, ISBN 0-444-81773-5
Verification
- Ricardo Civalero, Bengt Jonsson, Joakim Nilsson:
Validating Simulations Between Large Nondeterministic Specifications. FORTE 1993: 3-17 - Juan Quemada, David Larrabeiti, Santiago Pavón:
Compressing the State Space Representation of LOTOS Specifications. FORTE 1993: 19-34 - Younes Souissi:
Towards a Modular Specification and Verification of Protocols within a Layered Architecture. FORTE 1993: 35-50
LOTOS
- Ole Christian Dahl, Elie Najm:
Specification & Detection of IN Service Interference Using LOTOS. FORTE 1993: 53-69 - Kenneth J. Turner, Richard O. Sinnott:
DILL: Specifying Digital Logic in LOTOS. FORTE 1993: 71-86 - Ferhat Khendek, Gregor von Bochmann:
Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102
Invited Talk
- Colin H. West:
The Challenges Facing Formal Description Techniques. FORTE 1993: 105-121
Automata and Estelle
- Jan Bredereke, Reinhard Gotzhein:
Increasing the Concurrency in Estelle. FORTE 1993: 125-139 - S. Purushothaman Iyer:
Experiments in Data flow analysis of Communicating Finite State Machines. FORTE 1993: 141-153 - Anthony C. C. Lo, Richard Lai:
Integrating Estelle and ASN.1 for Automatic Implementation. FORTE 1993: 155-169 - Stefan Fischer, Bernd Hofmann:
An Estelle Compiler for Multiprocessor Platforms. FORTE 1993: 171-186
Industrial Reports
- Graeme I. P. Parkin, Stephen Austin:
Overview: Survey of Formal Methods in Industry. FORTE 1993: 189-203 - 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. FORTE 1993: 205-218 - 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. FORTE 1993: 219-234 - Sanjai Narain, Orville Cockings, Ritu Chadha:
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250
Time and Algebra
- Joost-Pieter Katoen, Rom Langerak, Diego Latella:
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268 - Heping He, Hussein Zedan:
Requirement Specification For Real-Time and Hybrid Systems. FORTE 1993: 269-284 - Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan:
A recursive process algebra for queues. FORTE 1993: 285-300 - Peter B. Ladkin, Stefan Leue:
What Do Message Sequence Charts Mean? FORTE 1993: 301-316
Testing
- Son T. Vuong, Sangho Lee:
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. FORTE 1993: 319-334 - Hasan Ural, Alan W. Williams:
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. FORTE 1993: 335-350 - Jari Arkko:
On the Existence and Production of State Identification Machines for Labelled Transition Systems. FORTE 1993: 351-366 - Ana R. Cavalli, Sung Un Kim, Patrick Maigron:
Improving Conformance Testing for LOTOS. FORTE 1993: 367-381
Protocols and Formal Specification
- Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen:
Correctness of At-Most-Once Message Delivery Protocols. FORTE 1993: 385-400 - A. Divin, Claude Petitpierre:
An Object Oriented Method for Implementing Layered Protocols. FORTE 1993: 401-416 - Maria Manuela Marques, Dag Belsnes, Malachy Murphy:
Formalisation Based on Understanding. FORTE 1993: 417-432 - Tommaso Bolognesi, Giuseppe Ciaccio:
Cumulating constraints on the "WHEN" and the "WHAT". FORTE 1993: 433-448
Timed-LOTOS
- Akio Nakata, Teruo Higashino, Kenichi Taniguchi:
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. FORTE 1993: 451-466 - Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd:
Time Versus Abstraction in Formal Description. FORTE 1993: 467-482 - Luc Léonard, Guy Leduc:
An Enhanced Version of Timed LOTOS and its Application to a Case Study. FORTE 1993: 483-498
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 11:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
