![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5th FORTE 1992: Perros-Guirec, France
- Michel Diaz, Roland Groz:
Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992. IFIP Transactions C-10, North-Holland 1993, ISBN 0-444-89282-6
Industrial applicatons I
- Laurent Doldi, P. Gauthier:
VEDA 2: Power to the protocol designers. FORTE 1992: 3-13 - Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer:
LOTOS in Alcatel. FORTE 1992: 15-22 - David Cohen, Norman Dorn:
An Experiment in Analyzing Switch Recovery Procedures. FORTE 1992: 23-34
Specification
- Muffy Thomas:
A translator for ASN.1 into LOTOS. FORTE 1992: 37-52 - Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid:
Incremental processing of Z specifications. FORTE 1992: 53-69
Time and performance
- Piotr Dembinski:
Queueing network model for Estelle. FORTE 1992: 73-86 - Guy Leduc, Luc Léonard:
A timed LOTOS supporting a dense time domain and including new timed operators. FORTE 1992: 87-102 - Carlos Miguel, Angel Fernández, Leon Vidaller:
Extending LOTOS towards performance evaluation. FORTE 1992: 103-118
Verification I
- Shipei Zhang, Scott A. Smolka:
Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135 - Leo Cacciari, Omar Rafiq:
On improving reduced reachability analysis. FORTE 1992: 137-152 - Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt:
Design of a formal Estelle semantics for verification. FORTE 1992: 153-168
Industrial applications II
- Patrik Ernberg, Thomas Hovander, Francisco Monfort:
Specification and implementation of an ISDN telephone system using LOTOS. FORTE 1992: 171-186 - Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel:
Analyzing a space-protocol: from specification, simulation to experimentation. FORTE 1992: 187-198 - Clara DaSilva, Babak Dehbonei, Fernando Mejia:
Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213
Invited presentation I
- Gul Agha:
Formal methods for Actor systems: A progress report. FORTE 1992: 217-228
Design
- Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo:
Protocol design using LOTOS: A critical synthesis of a standardization experience. FORTE 1992: 231-246 - Francisco Javier Carrasco, J. J. Gil:
A method for specifying and validating communication protocols in LOTOS. FORTE 1992: 247-262 - Lynn S. Marshall, Linda Simon:
Using VDM to specify managed object relationships. FORTE 1992: 263-278
Executing LOTOS
- Günter Karjoth:
Generating transition graphs from LOTOS specifications. FORTE 1992: 281-294 - Henk Eertink, Dietmar Wolz:
Symbolic execution of LOTOS specifications. FORTE 1992: 295-310 - Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes:
Goal oriented execution for LOTOS. FORTE 1992: 311-327
True concurrency
- Rom Langerak:
Bundle event structures: a non-interleaving semantics for LOTOS. FORTE 1992: 331-346 - Rosvelter João Coelho da Costa, Jean-Pierre Courtiat:
A true concurrency semantics for LOTOS. FORTE 1992: 347-362 - Colin J. Fidge:
A constraint-oriented real-time process calculus. FORTE 1992: 363-378
Testing
- Finn Kristoffersen, Louis Verhaard, Michael Zeeberg:
Test derivation for SDL based on ACTs. FORTE 1992: 381-396 - Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka:
Combination of conformance and interoperability testing. FORTE 1992: 397-412 - Juan I. Sanz:
Using FDTs in the development of a PICS editor. FORTE 1992: 413-427
Invited presentation II
- Tommaso Bolognesi:
The electric power of LOTOS - Results of a joint academic/industrial experiment. FORTE 1992: 431-446
Verification II
- Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in design and compositional verification using TAV. FORTE 1992: 449-464 - Esfandiar Haghverdi, Kemal Inan:
Verification by consecutive projections. FORTE 1992: 465-478 - Ketil Stølen:
Shared-state design modulo weak and strong process fairness. FORTE 1992: 479-498
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.