Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | P. Li, M. von Thun, Tharam S. Dillon |
Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Ansgar Bergmann, Uwe Janßen |
Yet another FDT ? An Introduction to CHILL-S. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Qiang Gao, Cheng Wu |
On the Distributed Implementation of LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Djaffar Gueraichi, Luigi Logrippo |
Derivation of Test Cases for LAP-B from a LOTOS Specification. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro |
ASDE: Design of a Transformational Environment for LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Hans Hansson, Bengt Jonsson 0001, Fredrik Orava, Björn Pehrson |
Specification for Verification. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | David Lorge Parnas |
Documentation of Communications Services and Protocols. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
TIC: A Timed Calculus for LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya |
An Estelle Based Test Generation Tool for Modular Specifications. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg |
LOTOS Extended with Clocks. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Piyu Tripathy, Behçet Sarikaya |
Test Generation from Protocol Specification. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Jan Tretmans |
Test Case Derivation from LOTOS Specifications. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Kenneth J. Turner (eds.) |
Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988 |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Rob Booth |
An Evaluation of the LCF Theorem Prover using LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Kong E. Cheng, Lindsay N. Jackson |
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein |
The Formal Definition of the Architectural Concept "Interaction Point". |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Eric Madelaine, Didier Vergamini |
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys |
Executable Communicating Rule Systems. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
Specifying Concurrent Systems Using Logic. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Michel Diaz, Jean Dufau, Roland Groz |
Experiences Using Estelle Within SEDOS Estelle Demonstrator. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale |
A Formal Multi-Layer Test Methodology and its Applications to OSI. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Joaquín Seoane |
A Tool for Encoding and Decoding Big ASN.1 Messages. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |
An Expressive Temporal Logic for Basic LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
Specification Modules in LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Richard C. Cam, Son T. Vuong |
A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang |
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | José A. Mañas, Tomás de Miguel |
From LOTOS to C. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Saturnino Marchena Rodriguez, Gonzalo León |
Transformation from LOTOS Specifications to Galileo Nets. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
A LOTOS to PARLOG Translator. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel |
Graphical Views of Process-Orientated Specifications. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Philip Gaudette, Steve Trus, Sarah Collins |
An Object-Oriented Model for ASN.1. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Dieter Hogrefe, Amardeo Sarma |
Non-Determinism and SDL. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Son T. Vuong, Wendy Y. L. Chan |
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Francesco Costa, Daniela Nardi, Roberto Rinaldi |
SDS - A LOTOS-Based Tool for Symbolic Debugging. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | David Freestone, Sukhvinder S. Aujla |
Specifying ROSE in LOTOS. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Rachid Sijelmassi, Philip Gaudette |
An Object-Oriented Model for Estelle. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Jeroen van de Lagemaat, Giuseppe Scollo |
On the Use of LOTOS for the Formal Description of a Transport Protocol. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Thomas Mayr |
Specification of Object-Oriented Systems in LOTOS. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Stuart G. Johnston |
SPIDER - Service and Protocol Interactive Development Environment. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi |
The Application of LOTOS for the Formal Description of the ISO Session Layer. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette |
Application of Formal Description Techniques to Conformance Evaluation. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Wilfried H. P. van Hulzen |
LOTTE - A LOTOS Environment. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Renaud Guillemot, Luigi Logrippo |
Derivation of Useful Execution Trees from LOTOS by using an Interpreter. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | J. J. Masterson, K. P. Ishaq, A. T. Hockley |
An Approach to providing Support Tools for Formal Specification. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou, Roland Groz |
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera |
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Michael Atlevi |
SDT - The SDL Design Tool. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Santiago Pavón, Angel Fernández |
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Maurizio Caneve |
Squiggles - A Tool for the Analysis of LOTOS Specifications. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia |
Modelling OSI in SDL. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
A LISP-Based LOTOS Environment. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Kees Bogaards |
LOTOS-Supported System Development. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
1 | Sukhvinder S. Aujla, Matthew Fletcher |
The Boyer-Moore Theorem-Prover and LOTOS. |
FORTE |
1988 |
DBLP BibTeX RDF |
|