Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez |
Transformation of estelle specifications to lotos specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Computers and Their Applications (CATA-98), Proceedings of the ISCA 13th International Conference, Honolulu, Hawaii, USA, March 25-27, 1998, pp. 82-84, 1998, ISCA, 1-880843-23-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
18 | Lisandro Zambenedetti Granville, Maria Janilce B. Almeida |
Specification of E-LOTOS Systems in the E-DART Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria, pp. 374-380, 1998, IEEE Computer Society, 0-8186-8585-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Luciano Paschoal Gaspary, Maria Janilce B. Almeida |
Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PICS ![In: Performance of Information and Communication Systems, IFIP TC6/WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98), 25-28 May 1998, Lund, Sweden, pp. 309-320, 1998, Chapman & Hall, 0-412-83730-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
18 | Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
Hardware synthesis from protocol specifications in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, pp. 405-420, 1998, Kluwer, 0-412-84760-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner |
Validating Architectural Feature Descriptions using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden, pp. 247-261, 1998, IOS Press, 90-5199-431-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
18 | Zbigniew Huzar, Jan Magott |
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 29(1-2), pp. 77-96, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Luc Léonard, Guy Leduc |
An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 29(3), pp. 271-292, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Kenneth J. Turner |
Incremental Requirements Specification with LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 2(3), pp. 132-151, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Hans van der Schoot, Hasan Ural |
Data Flow Analysis of System Specifications in Lotos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 7(1), pp. 43-68, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Zbigniew Huzar, Jan Kwiatkowski, Jan Magott |
Dataflow Processing Modeling in Performance Extension of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-PDS ![In: Proceedings of the IASTED International Conference on Parallel and Distributed Systems, Euro-PDS'97, June 9-11, 1997, Barcelona, Spain, pp. 335-339, 1997, IASTED/ACTA Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Carron Shankland, Muffy Thomas |
Symbolic Bisimulation for Full LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 479-493, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Hazem El-Gendy, Hoda Baraka |
Transformation of Lotos specifications to Estelle specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), July 1-3, 1997, Alexandria, Egypt, pp. 215-220, 1997, IEEE Computer Society, 0-8186-7852-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Pierre Krimm, Laurent Mounier |
Compositional State Space Generation from Lotos Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, pp. 239-258, 1997, Springer, 3-540-62790-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 433-448, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
Disjunction of LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 177-192, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Giovanny F. Lucero, Juan Quemada |
Specifying the ODP Trader: An Introduction to E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 127-142, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Christian Hernalsteen |
A Timed Automaton Model for ET-LOTOS Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 193-204, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan, pp. 161-176, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Christian Hernalsteen, Arnaud Février |
Introduction of a Suspend/Resume Operator in ET-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings, pp. 400-414, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Howard Bowman, John Derrick |
Extending LOTOS with Time: A True Concurrency Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings, pp. 383-399, 1997, Springer, 3-540-63010-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Richard O. Sinnott |
An architecture based approach to specifying distributed systems in LOTOS and Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
18 | Christian Kant, Teruo Higashino, Gregor von Bochmann |
Deriving Protocol Specifications from Service Specifications Written in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 10(1), pp. 29-47, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Atsushi Togashi, Glenn Mansfield, Norio Shiratori |
Animating LOTOS Specifications Using Amlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 6(1), pp. 5-19, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Laurence Pierre |
Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: 1996 European Design and Test Conference, ED&TC 1996, Paris, France, March 11-14, 1996, pp. 607, 1996, IEEE Computer Society, 0-8186-7423-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines |
Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996., pp. 259-274, 1996, SBC. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Mario Marrero, Álvaro Suárez Sarmiento |
EVGC: A Tool for Visualizing LOTOS Behavioural Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings, pp. 475-478, 1996, Springer, 3-540-61648-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
Comparing LOTOS and Z Refinement Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 501-516, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 469-484, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | David Larrabeiti, Juan Quemada, Santiago Pavón |
From LOTOS to Petri Nets through Iexpansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 485-500, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 279-294, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 435-450, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd |
Specification and Verification of Real-Time Properties Using LOTOS and SQTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996, pp. 75-84, 1996, IEEE Computer Society, 978-0-8186-7361-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
18 | Jeremy William Bryans |
Denotational semantic models for real-time LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
18 | Hans van der Schoot, Hasan Ural |
Data Flow Oriented Test Selection for Lotos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 27(7), pp. 1111-1136, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Piyu Tripathy, Behçet Sarikaya |
Analysis and representation of test cases generated from LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 18(7), pp. 493-506, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Richard Lai 0001, Anthony C. C. Lo |
An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 27(1), pp. 1-8, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo |
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 20(6), pp. 521-535, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Antti Valmari, Martti Tienari |
Compositional Failure-based Semantics Models for Basic LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 7(4), pp. 440-468, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Willig, Ina Schieferdecker |
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods for Industrial Applications ![In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)., pp. 473-492, 1995, Springer, 3-540-61929-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Zbigniew Huzar, Jan Magott |
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS '95, Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 10-18, 1995, Durham, North Carolina, USA, pp. 382-386, 1995, IEEE Computer Society, 0-8186-6902-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Carron Kirkwood, Muffy Thomas |
Experiences with specification and verification in LOTOS: a report on two case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995, pp. 159-171, 1995, IEEE Computer Society, 0-8186-7005-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMNET ![In: Proceedings of the International Conference on Multimedia Networking, MmNet 1995, Aizu, Japan, September 26-29, 1995, pp. 31-45, 1995, IEEE Computer Society, 0-8186-7090-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Maarten Steen, Howard Bowman, John Derrick |
Composition of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 87-102, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | David de Frutos-Escrig, Manuel Núñez 0001, Juan Quemada |
Characterizing termination in LOTOS via testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 237-250, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Hubert Garavel |
On the introduction of gate typing in E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 283-298, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Riccardo Sisto |
A method to build symbolic representations of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 331-346, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann |
Modeling basic LOTOS by FSMs for conformance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 137-152, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Kshirasagar Naik |
Distributed Implementation of Multi-Rendezvous in LOTOS Using the Orthogonal Communication Structure in Linda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995, pp. 518-525, 1995, IEEE Computer Society, 0-8186-7025-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Elie Najm, Jean-Bernard Stefani, Arnaud Février |
Towards a Mobile LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 127-142, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Carron Kirkwood |
Specifying Properties of Basic LOTOS Processes Using Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 109-116, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
Formal Support for Design Techniques: A Timethreads-LOTOS Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 57-72, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
Real-time LOTOS and Timed Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 383-397, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
A LOTOS Compiler Generating Multi-threaded Object Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 271-286, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
A Reachability Analysis of RT-LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 117-124, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Manuel Núñez 0001, David de Frutos-Escrig |
Testing Semantics for Probabilistic LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, pp. 367-382, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
18 | Volkmar Pleßer |
Automatische Herleitung von effektiven Testsequenzen aus LOTOS-Spezifikationen mittels Fehlermodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
18 | Luca Durante, Riccardo Sisto, Adriano Valenzano |
Implementation of static semantic analysis of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 9(2), pp. 55-66, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus |
G-LOTOS: A Graphical Language for Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 26(9), pp. 1101-1127, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Volkmar Pleßer |
Generierung von kurzen Testsequenzen für LOTOS-Verhaltensspezifikationen mit Hilfe von Fehlermodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 17(3), pp. 150-155, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Andreas Rinkel |
TOOPS: ein Werkzeug zur objektorientierten Protokollentwicklung auf der Basis von LOTOS-Dienstspezifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 17(2), pp. 67-72, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Fosca Giannotti, Diego Latella |
Gate Splitting in LOTOS Specifications Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 23(2-3), pp. 127-149, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi |
Interpretation of SDL specification in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 25(7), pp. 19-38, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano |
Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31 - February 2, 1994, Durham, North Carolina, USA, pp. 292-298, 1994, IEEE Computer Society, 0-8186-5292-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Luca Durante, Riccardo Sisto, Adriano Valenzano |
A LOTOS specification of the SERCOS field-bus protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia, pp. 139-147, 1994, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Atsushi Togashi, Glenn Mansfield, Norio Shiratori |
An Intelligent LOTOS interpreter in AMLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Applications of Logic Programming to Software Engineering ![In: ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Antonio Martínez Maz, Carlos Miguel, E. Pérez, Angel Fernández |
FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPN ![In: High Performance Networking V, Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June - 1 July, 1994, pp. 407-422, 1994, North-Holland, 0-444-82023-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi |
Hardware synthesis from a restricted class of LOTOS expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 379-386, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Bernard Stepien, Luigi Logrippo |
Feature interaction detection using backward reasoning with LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 71-86, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
About time nondeterminism and exception handling in a temporal extension of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 37-52, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Hacène Fouchal, Ana R. Cavalli |
A Compositional Verification Method for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994, pp. 390, 1994, ACM, 0-89791-654-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Hacène Fouchal, Ana R. Cavalli |
A modal based verification for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 215-217, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Alain Kerbrat |
Reachable state space analysis of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 181-196, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | B. Botma, Rom Langerak |
Simulator for LOTOS to study the independence and causality of events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 221-223, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Conrado Daws, Alfredo Olivero, Sergio Yovine |
Verifying ET-LOTOS programmes with KRONOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 227-242, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Zixue Cheng, Tongjun Huang, Norio Shiratori |
A new distributed algorithm for implementation of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 493-504, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Franco Fiore, Fosca Giannotti |
An abstract interpreter for the specification language LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 309-323, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner, Ashley McClenaghan |
Visual animation of LOTOS using SOLVE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 283-285, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, pp. 218-220, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Mohammed Faci, Luigi Logrippo |
Specifying features and analysing their interactions in a LOTOS environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands, pp. 136-151, 1994, IOS Press, 90-5199-165-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Mark A. Ardis |
Lessons from Using Basic LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994., pp. 5-14, 1994, IEEE Computer Society / ACM Press, 0-8186-5855-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
18 | Carron Elizabeth Kirkwood |
Verification of LOTOS specifications using term rewriting techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
18 | Carlos Miguel, Angel Fernández, J. M. Ortuño, Leon Vidaller |
A LOTOS Based Performance Evaluation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 25(7), pp. 791-814, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Günter Karjoth, Carl Binding, Jan Gustafsson |
LOEWE: A LOTOS Engineering Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 25(7), pp. 853-874, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra |
Tool Support to Implement LOTOS Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 25(7), pp. 815-839, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Rezki Boumezbeur, Luigi Logrippo |
Specifying telephone systems in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 31(8), pp. 38-45, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Miguel, Angel Fernández, Leon Vidaller |
LOTOS Extended with Probablistic Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 5(3), pp. 253-281, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera |
Rapid Prototyping of Protocols from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 23(1), pp. 31-54, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Delgado Kloos, Tomás Pedro de Miguel Moro, Tomás Robles Valladares, Guadalberto Rabay Filho, Andrés Marín López |
VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 38(1-5), pp. 589-596, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Ulrich, Hartmut König |
Test Derivation from LOTOS Using Structure Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 279-293, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | David de Frutos-Escrig |
A Characterization of LOTOS Representable Networks of Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 281-288, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Thony van der Vloedt |
The LOTOS Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, pp. 409-410, 1993, Springer, 3-540-19852-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Ing Widya, Gert-Jan van der Heijden |
Towards an Implementation-oriented Specification of TP Protocol in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 93-109, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Mohammed Faci, Luigi Logrippo |
Specifying Hardware Systems in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHDL ![In: Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993, pp. 319-326, 1993, North-Holland, 0-444-81641-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes |
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 175-189, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Charles Pecheur |
VLib: Infinite Virtual Libraries for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 29-44, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Brahim Ghribi, Luigi Logrippo |
A Validation Environment for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 93-108, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Ed Brinksma, Henk Eertink |
Goal-Driven LOTOS Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 45-60, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni |
Action Refinement in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 341-354, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Tim Regan |
Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993, pp. 127-142, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Kentaro Go, Norio Shiratori |
Modularization of a specification in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1993 International Conference on Network Protocols, ICNP 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings, pp. 55-62, 1993, IEEE Computer Society, 0-8186-3670-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|