Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Piotr Dembinski, Marek Sredniawa (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![Chapman & Hall, 0-412-71620-8 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Peter Herrmann, Heiko Krumm |
Re-usable verification elements for high-speed transfer protocol configurations. ![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. 171-186, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Leo Cacciari, Omar Rafiq |
A temporal reachability analysis. ![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. 35-49, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | O. Catrina |
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. ![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. 385-400, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Stefan Leue |
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. ![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. 19-34, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Nikolay A. Anisimov, Maciej Koutny |
On compositionality and Petri nets in protocol engineering. ![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. 71-86, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jacek Wytrebowicz |
Hardware specification generated from Estelle. ![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. 435-450, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Ralf Plato, Thomas Held, Hartmut König |
PARES - a portable parallel Estelle compiler. ![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. 403-418, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Ulrich, Samuel T. Chanson |
An approach to testing distributed software systems. ![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. 121-136, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Luci Pirmez, Aloysio Pedroza, Antonio Carneiro de Mesquita Filho |
A methodology for the implementation of protocols in hardware from a formal description. ![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. 419-434, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Mohamed Jmaiel |
An algebraic-temporal specification of a CSMA/CD-protocol. ![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. 187-202, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
An analysis of bistate hashing. ![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. 301-314, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Khalil Drira, Youcef Atamna, Guy Juanole |
Quantified reduced views of state graphs using Markovian and timed observational equivalence. ![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. 253-268, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Dieter Barnard, Simon Crosby |
The specification and verification of an experimental ATM signalling protocol. ![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. 155-170, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Steven Bradley, William Henderson, David Kendall, Adrian Robson |
Validation, verification and implementation of timed protocols using AORTA. ![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. 205-220, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Doron A. Peled, Wojciech Penczek |
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. ![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. 315-330, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Michel Diaz, Thierry Villemur, François Vernadat 0001 |
Formal design of cooperative systems. ![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. 349-365, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger |
SDL and Petri net performance analysis of communicating systems. ![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. 269-282, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper |
Simple on-the-fly automatic verification of linear temporal logic. ![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. 3-18, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Stefan Fischer |
On the suitability of Estelle for multimedia systems. ![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. 369-384, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Lex Heerink, Ed Brinksma |
Validation in context. ![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. 221-236, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Maria Törö, Katalin Tarnay |
Principles for validation of abstract test suites specified in concurrent TTCN. ![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. 105-120, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Son T. Vuong, Samuel T. Chanson (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![Chapman & Hall, 0-412-63640-9 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Antoni W. Mazurkiewicz |
True versus artificial concurrency. ![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. 53-68, 1995, Chapman & Hall, 0-412-71620-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein, Gregor von Bochmann |
Specialization in Estelle. ![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. 21-36, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Erik Kwast |
Automatic ASN.1 constraint generation for testing purposes. ![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. 359-366, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Raj Jain |
ATM Networks: Issues and Challenges Ahead. ![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. 217, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid |
Functional approach to protocols specification. ![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. 395-402, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Anders Ek, Jan Ellsberger, Anthony Wiles |
Computer supported test generation from SDL specifications. ![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. 351-358, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Kshirasagar Naik |
Design of reliable architecture for testing timed behavior of OSI protocols. ![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. 121-136, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Hong Liu 0004, Raymond E. Miller |
Generalized fair reachability analysis for cyclic protocols: part 1. ![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. 271-286, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
On specifying services and synthesizing protocols for real-time applications. ![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. 185-200, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus |
Verification by abstraction as a preamble for interoperability test suite generation. ![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. 152-166, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
Failure-based congruences, unfair divergences and new testing theory. ![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. 252-267, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Maria Hultström |
Structural decomposition. ![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. 201-216, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Thomas Held, Hartmut König |
Increasing the efficiency of computer-aided protocol implementations. ![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. 387-394, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Klaus Havelund, Kim Guldstrand Larsen |
A refinement logic for the fork calculus. ![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. 5-20, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Masaaki Mori, Son T. Vuong |
On finite covering of infinite spaces for protocol test selection. ![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. 237-251, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Masahiro Higuchi, S. Sugawa, Mamoru Fujii |
A method for verifying liveness of protocols modeled as a class of ECFSM. ![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. 287-302, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Peter Herrmann, Heiko Krumm |
Compositional specification and verification of high-speed transfer protocols. ![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. 339-346, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal |
Protocol synchronization with sparse timestraps. ![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. 169-184, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Brigitte Bär, Andreas Mann |
A methodology for conformance testing of managed objects. ![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. 367-375, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Y. Benkhellat, Jean-Pierre Thomesse |
Validation of timing properties for interoperability in distributed real-time applications. ![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. 331-338, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | David L. Tennenhouse |
Putting information infrastructure on the technology curve. ![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. 347, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou |
Automatic verification of real-tim systems using epsilon. ![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. 323-330, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ajin Jirachiefpattana, Richard Lai 0001 |
Verification of the ISO ROSE protocol specified in Estelle. ![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. 87-102, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Kshirasagar Naik, Behçet Sarikaya |
Protocol conformance test case verification using timed-transitions. ![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. 103-118, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou |
Abstract testing and concrete testers. ![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. 221-236, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Kenneth L. Calvert |
Specifying and verifying conditional progress. ![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. 303-318, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jinsong Zhu, Samuel T. Chanson |
Towards evaluating fault coverage of protocol test sequences. ![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. 137-151, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Ed Brinksma |
Cache consistency by design. ![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. 53-67, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Kenneth J. Turner |
An Engineering Approach to Formal Methods. ![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. 357-380, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Huimin Lin |
A Verification Tool for Value-Passing Processes. ![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. 79-92, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Caroline Andrae, Reinhard Gotzhein, Simone Sédillot |
An Evolutionary Approach to the Development of Complex Protocol Standards. ![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. 207-222, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Wil Janssen, Job Zwiers |
Specifiying and Proving Communication Closedness in Protocols. ![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. 323-339, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan |
Specification of Real-Time Probabilistic Behaviour. ![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. 143-157, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | André A. S. Danthine, Guy Leduc, Pierre Wolper (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-81648-8 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Serge Haddad, Mohamed Taghelit, Belhassen Zouari |
Assessment of ESTELLE and EDT Through Real Case Studies. ![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. 223-238, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi |
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. ![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. 191-206, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | R. M. Barker, F. A. Brady |
Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol. ![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. 273-288, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Khalil Drira, Pierre Azéma, François Vernadat 0001 |
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. ![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. 257-272, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger, Graham Wheeler |
Semi-Markovian Analysis of Protocol Performance. ![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. 159-172, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
Conformance Testing of Protocol Machines without Reset. ![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. 241-256, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Jadranka Alilovic-Curgus, Son T. Vuong |
A Metric Based Theory of Test Selection and Coverage. ![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. 289-304, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Patrice Godefroid, Gerard J. Holzmann |
On the Verification of Temporal Properties. ![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. 109-124, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. ![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. 61-76, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires |
What Makes Industries Believe in Formal Methods. ![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. 3-26, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Samir G. Kelekar, George W. Hart |
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach. ![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. 307-322, 1993, North-Holland, 0-444-81648-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Erik Kwast |
Automatic Test Generation for Protocol Data Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 211-226, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Gilbert M. Lundy, R. C. McArthur |
Formal Model of a High Speed Transport Procotol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 97-111, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin |
Coverage Preserving Reduction Strategies for Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 349-363, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon |
Formal Methods in Conformance Testing: Status and Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 299-316, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Harry Rudin |
Protocol Development Success Stories: Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 149-160, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Wang Yi 0001, Kim Guldstrand Larsen |
Testing Probabilistic and Nondeterministic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 47-61, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Claus Dendorfer, Rainer Weber |
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 163-177, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Richard J. Linn Jr., M. Ümit Uyar (eds.) |
Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-89874-3 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jan Tretmans, Louis Verhaard |
A Queue Model Relating Synchronous and Asynchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 131-145, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Testability of Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 63-77, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Test Suite Generation from a FSM with a Given Type of Implementation Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 229-243, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Udo Bär, Jürgen M. Schneider |
Automated Validation of TTCN Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 279-295, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein |
A Test Derivation Method Based on Exploiting Structure Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 195-209, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jan Ellsberger, Finn Kristoffersen |
Testability in the Context of SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 319-333, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Raymond E. Miller, Sanjoy Paul |
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 13-27, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Kenneth L. Calvert |
Module Composition and Refinement with Applications to Protocol Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 383-397, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Ufuk Celikkan, Rance Cleaveland |
Computing Diagnostic Test for Incorrect Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 263-277, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Alexander G. Fraser 0001 |
Formal Methods Applied to Software Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 3-9, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|