The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Estelle with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1988 (20) 1989-1990 (25) 1991 (16) 1992 (16) 1993 (18) 1994-1995 (24) 1996-1997 (21) 1998-1999 (18) 2000-2001 (17) 2002-2003 (25) 2004-2005 (21) 2006 (15) 2007-2008 (27) 2009-2010 (28) 2011 (16) 2012 (18) 2013 (21) 2014-2015 (30) 2016 (22) 2017 (19) 2018 (26) 2019 (29) 2020 (48) 2021 (28) 2022 (52) 2023 (37) 2024 (8)
Publication types (Num. hits)
article(268) book(3) incollection(3) inproceedings(353) phdthesis(17) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 120 occurrences of 89 keywords

Results
Found 792 publication records. Showing 645 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
109László Kovács, András Ercsényi Specification versus implementation based on Estelle. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Pascal
98Son T. Vuong, Allen C. Lau, R. Isaac Chan Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Estelle-C compiler, class-2 transparent protocol, protocols, protocols, specification, modularity, program compilers, ISO
87Tony Tsang, Richard Lai 0001 Verification Results for a Multimedia Protocol. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
87Chang-Yu Wang, Kishor S. Trivedi Integration of Specification for Modeling and Specification for System Design. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
82Jean-Pierre Courtiat, Michel Diaz Time in State Based Formal Description Techniques for Distributed Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
76Marcin Czenko, Jean-Luc Raffy JEstelle novel approach to the distributed Java systems specification and development. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  BibTeX  RDF Java, distributed systems, software engineering, formal description techniques, Estelle
74Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
74Luc Hohwiller, Serge Wendling Fieldbus Network Simulation Using a Time Extended Estelle Formalism. Search on Bibsonomy MASCOTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
74Piotr Rolinski, Jean-Luc Raffy Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes. Search on Bibsonomy CSMR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
74Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza Mutation Testing Applied to Estelle Specifications. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
74Udo Thalmann Analysis of ESTELLE Specifications. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
70Tony Tsang, Yong-Soo Kim, Richard Lai 0001 The Design of a Multimedia Protocol Analysis Software Environment. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Sun-Jen Huang, Richard Lai 0001 Estimating the size of an Estelle specification for a communication protocol. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification
58Sun-Jen Huang, Richard Lai 0001 Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
58Stefan Fischer 0001, Jacek Wytrebowicz, Stanislaw Budkowski Hardware/Software Co-Design of Communication Protocols. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code
57Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny Verics: A Tool for Verifying Timed Automata and Estelle Specifications. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Chung-Ming Huang, Jenq-Muh Hsu An Estelle-Based Probabilistic Partial Timed Protocol Verification System. Search on Bibsonomy ICPADS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57S. Alan Ezust, Gregor von Bochmann An Automatic Trace Analysis Tool Generator for Estelle Specifications. Search on Bibsonomy SIGCOMM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
52Henrikas Pranevitchius Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. Search on Bibsonomy Baltic Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
45Joachim Thees, Reinhard Gotzhein The experimental Estelle Compiler: automatic generation of implementations from formal specifications. Search on Bibsonomy FMSP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF specification languages, tool support, performance optimization, performance monitoring, Automatic Code Generation, protocol implementation, Estelle, XTP
45Samuel C. Chamberlain, Paul D. Amer Broadcast Channels in Estelle. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism
44Richard Lai 0001, Tony Tsang Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. Search on Bibsonomy ICMCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Michel Diaz, Jean Dufau, Roland Groz Experiences Using Estelle Within SEDOS Estelle Demonstrator. Search on Bibsonomy FORTE The full citation details ... 1989 DBLP  BibTeX  RDF
44Claude Jard, Jean-François Monin, Roland Groz Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. Search on Bibsonomy PSTV The full citation details ... 1985 DBLP  BibTeX  RDF
41Pawel Rychwalski, Jacek Wytrebowicz UNIX STREAMS Generation from a Formal Specification. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Unix STREAMS, automatic code generation, formal description techniques, Estelle
41A. Siafa Flexible multicast protocol. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF flexible multicast protocol, SRM algorithm, reliable multipoint communication, SRM repair/request policies, recovery treatments, failure occurence, multicast applications, multicast transport protocols, formal specification, transport protocols, service selection, reliable multicast, Estelle, application level
41Claude Jard, Jean-François Monin, Roland Groz Development of Véda, a Prototyping Tool for Distributed Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool
35Xu Lei, Yong-Soo Kim, Richard Lai 0001 Modelling and Simulating IPv6 Mobility. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35J. William Atwood, Morteza Ghodrat, Dariusz Tasak Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. Search on Bibsonomy LCN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
23Ali Y. Duale, M. Ümit Uyar A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test generation, VHDL, Conformance testing, FSM, Estelle, EFSM
23Richard Lai 0001, Sun-Jen Huang A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Size model, EDT, regression analysis, formal description techniques, Estelle
23Stefan Fischer 0001, Stefan Leue Formal Methods for Broadband and Multimedia Systems (Tutorial). Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF broadband communication, quality of service, real time, specification, implementation, SDL, formal description techniques, distributed multimedia systems, Estelle
22Maggie Fieldhouse Book review: Digital Information: Order or Anarchy? Hazel Woodward and Lorraine Estelle (eds.). London: Facet, 2010. 208pp, £44.95. ISBN 9781856046800. Search on Bibsonomy J. Libr. Inf. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath Formal Automated Transformation of SDL Specifications to Estelle Specifications. Search on Bibsonomy CATA The full citation details ... 2008 DBLP  BibTeX  RDF
22Hazem El-Gendy, Nabil El-Kadhi Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Joachim Thees Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle. Search on Bibsonomy 2005   RDF
22Miguel Riesco, Javier Tuya Synchronous Estelle: Just Another Synchronous Language? Search on Bibsonomy SLAP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Henrikas Pranevicius, Germanas Budnikas Creation of ESTELLE/Ag Specifications Using Knowledge Bases. Search on Bibsonomy Informatica The full citation details ... 2003 DBLP  BibTeX  RDF
22Olaf Henniger Testgenerierung aus Spezifikationen in Estelle und SDL. Search on Bibsonomy 2003   RDF
22Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra C. P. F. Fabbri FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. Search on Bibsonomy SBES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Chung-Ming Huang, Jenq-Muh Hsu PPP (P3): an Estelle-based probabilistic partial protocol verification system. Search on Bibsonomy Comput. Commun. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220. Search on Bibsonomy Comput. Commun. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Octavian Catrina, Eugen Borcoci Development of complex communications protocols using Estelle. Search on Bibsonomy Ann. des Télécommunications The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Justin Templemore-Finlayson, Eugen Borcoci Simulating Multicast Transport Protocols in Estelle. Search on Bibsonomy FORTE The full citation details ... 2000 DBLP  BibTeX  RDF
22Anthony C. C. Lo, Richard Lai 0001 An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza Mutation Testing Applied to Estelle Specifications. Search on Bibsonomy Softw. Qual. J. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Joachim Thees Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. Search on Bibsonomy FBT The full citation details ... 1999 DBLP  BibTeX  RDF
22Sun-Jen Huang, Richard Lai 0001 On measuring the complexity of an estelle specification. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Tony Tsang, Richard Lai 0001 Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez Transformation of estelle specifications to lotos specifications. Search on Bibsonomy CATA The full citation details ... 1998 DBLP  BibTeX  RDF
22Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski A graphical representation and prototype editor for the Formal Description Technique Estelle. Search on Bibsonomy FORTE The full citation details ... 1998 DBLP  BibTeX  RDF
22Piotr Dembinski Enumeration Protocol in Estelle: an exercise in stepwise development. Search on Bibsonomy FORTE The full citation details ... 1998 DBLP  BibTeX  RDF
22Joachim Thees, Reinhard Gotzhein Open Estelle - An FDT for Open Distributed Systems. Search on Bibsonomy FORTE The full citation details ... 1998 DBLP  BibTeX  RDF
22O. Catrina, A. Nogai On the Improvement of Estelle Based Automatic Implementations. Search on Bibsonomy FORTE The full citation details ... 1998 DBLP  BibTeX  RDF
22Ajin Jirachiefpattana, Richard Lai 0001 EVEN: A software environment for Estelle specification verification. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang, Jao-Chiang Pong An Estelle-Based Incremental Protocol Design System. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Richard Lai 0001 An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Richard Lai 0001 From Estelle to Erlang. Search on Bibsonomy J. Syst. Softw. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Jan Bredereke Communication systems design with Estelle - on style, efficiency, and analysis. Search on Bibsonomy 1997   RDF
22Hazem El-Gendy, Abdel-Wahab Fayez Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications. Search on Bibsonomy ISCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Hazem El-Gendy, Hoda Baraka Transformation of Lotos specifications to Estelle specifications. Search on Bibsonomy ISCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Ralf Henke, Andreas Mitschele-Thiel, Hartmut König On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. Search on Bibsonomy FORTE The full citation details ... 1997 DBLP  BibTeX  RDF
22Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer 0001, Thomas Held, Hartmut König Improving the efficiency of automated protocol implementation using Estelle. Search on Bibsonomy Comput. Commun. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Richard Lai 0001, Anthony C. C. Lo Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Stefan Fischer 0001 Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. Search on Bibsonomy FORTE The full citation details ... 1996 DBLP  BibTeX  RDF
22Hubert Högl Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen. Search on Bibsonomy 1996   RDF
22Chung-Ming Huang, Shiun-Wei Lee Timed protocol verification for Estelle-specified protocols. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova Petri Net Modelling of Estelle-specified Communication Protocols. Search on Bibsonomy PaCT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Jacek Wytrebowicz Hardware specification generated from Estelle. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
22Ralf Plato, Thomas Held, Hartmut König PARES - a portable parallel Estelle compiler. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
22Stefan Fischer On the suitability of Estelle for multimedia systems. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
22R. Henke, M. Hübner Ein Estelle-Compiler für Transputersysteme. Search on Bibsonomy Kommunikation in Verteilten Systemen The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22M. Hendaz, Stanislaw Budkowski A New Approach for Protocols Performance Evaluation Using Estelle Specifications. Search on Bibsonomy FORTE The full citation details ... 1995 DBLP  BibTeX  RDF
22Eric Lallet, Stefan Fischer, Jean-François Verdier A New Approach for Distributing Estelle Specifications. Search on Bibsonomy FORTE The full citation details ... 1995 DBLP  BibTeX  RDF
22Richard Lai 0001, Ajin Jirachiefpattana Verification of ISO ACSE protocol specified in Estelle. Search on Bibsonomy Comput. Commun. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Jan Bredereke Atomarität in parallel implementierten Estelle-Spezifikationen. Search on Bibsonomy Prax. Inf.verarb. Kommun. The full citation details ... 1994 DBLP  BibTeX  RDF
22Henrikas Pranevitchius, Vytautas Pilkauskas Tools for validation and simulation of Estelle/Ag specifications. Search on Bibsonomy SEKE The full citation details ... 1994 DBLP  BibTeX  RDF
22Reinhard Gotzhein, Gregor von Bochmann Specialization in Estelle. Search on Bibsonomy PSTV The full citation details ... 1994 DBLP  BibTeX  RDF
22Ajin Jirachiefpattana, Richard Lai 0001 Verification of the ISO ROSE protocol specified in Estelle. Search on Bibsonomy PSTV The full citation details ... 1994 DBLP  BibTeX  RDF
22Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez Design of operating systems using the F.D.T. ESTELLE. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
22Marc Phalippou Test sequence generation using Estelle or SDL structure information. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
22Jan Bredereke, Reinhard Gotzhein Specification, detection and resolution of IN feature interactions with Estelle. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
22Bernd Hofmann 0002 Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen. Search on Bibsonomy 1994   RDF
22Rachid Sijelmassi, Brett Strausser The PET and DINGO Tools for Deriving Distributed Implementations from Estelle. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Paul D. Amer, Darren New Protocol Visualization in Estelle. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Michel Hurfin, Noël Plouzeau, Michel Raynal Debugging tool for distributed Estelle programs. Search on Bibsonomy Comput. Commun. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. Search on Bibsonomy Protocol Test Systems The full citation details ... 1993 DBLP  BibTeX  RDF
22Serge Haddad, Mohamed Taghelit, Belhassen Zouari Assessment of ESTELLE and EDT Through Real Case Studies. Search on Bibsonomy PSTV The full citation details ... 1993 DBLP  BibTeX  RDF
22Ajin Jirachiefpattana, Richard Lai 0001 Verifying Estelle specifications: numerical Petri nets approach. Search on Bibsonomy ICNP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Chang-Jia Wang, Ming T. Liu Automatic test case generation for Estelle. Search on Bibsonomy ICNP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang An Estelle interpreter for incremental protocol verification. Search on Bibsonomy ICNP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Bernd Hofmann 0002 Integration von Darstellungs- und Kommunikationssteuerungsschicht in Estelle. Search on Bibsonomy Kommunikation in Verteilten Systemen The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Ludger Walther, Hans-Rüdiger Wiehle Eine Estelle-Spezifikation des Dienstes der ISO-Norm "Distributed Transaction Processing". Search on Bibsonomy Kommunikation in Verteilten Systemen The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Anthony C. C. Lo, Richard Lai 0001 Integrating Estelle and ASN.1 for Automatic Implementation. Search on Bibsonomy FORTE The full citation details ... 1993 DBLP  BibTeX  RDF
22Jan Bredereke, Reinhard Gotzhein Increasing the Concurrency in Estelle. Search on Bibsonomy FORTE The full citation details ... 1993 DBLP  BibTeX  RDF
22Stefan Fischer 0001, Bernd Hofmann 0002 An Estelle Compiler for Multiprocessor Platforms. Search on Bibsonomy FORTE The full citation details ... 1993 DBLP  BibTeX  RDF
22Behdad Forghani, Behçet Sarikaya Semi-automatic test suite generation from Estelle. Search on Bibsonomy Softw. Eng. J. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
22Claude Jard, Jean-Marc Jézéquel Echidna, an estelle compiler to prototype protocols on distributed computers. Search on Bibsonomy Concurr. Pract. Exp. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
22Stanislaw Budkowski Estelle Development Toolset (EDT). Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
22Jean-Pierre Courtiat, Pierre de Saqui-Sannes ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle. Search on Bibsonomy Comput. Networks ISDN Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 645 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license