Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 |
|
1 | Girish Bhat, Rance Cleaveland, Gerald Lüttgen |
Dynamic Priorities for Modeling Real-Time. ![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. 321-336, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Henry Chang |
Distributed Object Consistency in Mobile Environments. ![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. 483, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Yong Sun, Shaoying Liu, Mitsuru Ohba |
Self-independent Petri Nets for Distributed Systems. ![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. 487-502, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A Hierarchy of Communication Models for Message Sequence Charts. ![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. 75-90, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Deukyoon Kang, Sungwon Kang, Myungchul Kim 0001, Sangjo Yoo |
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. ![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. 267-282, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Clemens Fischer, Graeme Smith 0001 |
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? ![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. 503-518, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ichiroh Sakakibara |
Network and Application for New Generation. ![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. 1, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. ![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. 417-432, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Nathalie Risser |
Eight Years of Experience in Test Generation from FDTs using TVEDA. ![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. 465-480, 1997, Chapman & Hall, 0-412-82060-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |
Model Reduction of Modules for State-Even Temporal Logics. ![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. 263-278, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Manfred Broy |
Formal Description Techniques - How Formal and Descriptive are they? ![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. 95-110, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Jean-Michel Couvreur, Denis Poitrenaud |
Model Checking Based on Occurrence Net Graph. ![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. 380-395, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Ed Brinksma |
Using Formal Methods: if you're so smart how come you ain't rich? ![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. 329, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias |
Direct Verification of Bisimulations. ![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. 349-363, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki 0005 |
EPER: Efficient Parallel Encoding Rules for ASN.1. ![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. 179-194, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. ![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. 29-44, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (eds.) |
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![Chapman & Hall, 0-412-73270-X The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | M. A. S. Smith |
Formal Verification of Communication Protocols. ![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. 129-144, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | L. Braga, Roberto Manione, P. Renditore |
A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. ![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. 245-260, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Philipp Hoschka |
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. ![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. 77-92, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
The QUEST-Approach for the Performance Evaluation of SDL-Systems. ![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. 229-244, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Lothar F. Mackert |
Network Computing. ![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. 399, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein, Jan Bredereke (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![Chapman & Hall, 0-412-79490-X The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
Performance Modelling with the Formal Specification Language SDL. ![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. 213-228, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Olivier Charles, Josiane Renévot |
Relating Conformance Test Coverage to Formal Specifications. ![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. 195-210, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Wolfgang Kellerer, Andreas Iselt, R. Riek |
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. ![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. 419-434, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | André A. S. Danthine |
The Video Dial Tone Service and the ATM Environment. ![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. 3-25, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Stern, David L. Dill |
A New Scheme for Memory-Efficient Probabilistic Verification. ![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. 333-348, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. ![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. 451-466, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Stephan Kleuker |
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. ![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. 113-128, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Arend Rensink, Walter Vogler |
Applications of Fair Testing. ![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. 145-160, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
Tool Support for Algebraic Specifications of Dat in SDL-92. ![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. 61-76, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Samuel Huang, David Lee, Mark G. Staskauskas |
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. ![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. 403-418, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001, Gregor von Bochmann |
Fault Models for Testing in Context. ![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. 163-178, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Stefan Fischer 0001 |
Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. ![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. 310-326, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke |
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. ![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. 45-60, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Yves-Marie Quemener, Thierry Jéron |
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. ![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. 364-379, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
A Timed Semantics for SDL. ![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. 295-309, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. ![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. 287-294, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut |
OMT*, Bridging the Gap between Analysis and Design. ![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. 39-55, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Aana Robnik |
Experiences of Using SDL Collected in IskraTEL SDL Methodology. ![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. 221-236, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock |
Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. ![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. 237-252, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Kevin Lano |
Distributed System Specification in VDM++. ![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. 23-38, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Bjørn Gulla, Joe Gorman |
Supporting Evolution of SDL-based Systems: Industrial Experience. ![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. 253-268, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Pamela Zave |
Secrets of Call Forwarding: A Specification Case Study. ![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. 169-184, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Boutheina Chetali, Pierre Lescanne |
Formal Verfication of a Protocol for Communications over Faulty Channels. ![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. 91-108, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Carsta Petersohn |
Formal Method for Event-Triggered Sequential Systems. ![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. 185-200, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | M. Hendaz, Stanislaw Budkowski |
A New Approach for Protocols Performance Evaluation Using Estelle 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. 441-448, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Monica Lara de Souza, Robert de Simone |
Using PO Methods for Verfying Behavioural Equivalences. ![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. 75-90, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Eric Lallet, Stefan Fischer, Jean-François Verdier |
A New Approach for Distributing Estelle 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. 339-348, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Joseph Sifakis |
Specification and Verification of Timed Systems. ![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. 3-4, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich |
SELEXPERT - A Knowledge-based Tool for Test Case Selection. ![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. 313-328, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Franz Puntigam |
Type Specifications with Processes. ![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. 143-158, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda |
Stabilizing Client/Server Protocols without the Tears. ![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. 5-19, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | François Gagnon, Jean-Charles Grégoire, D. Zampuniéris |
Sharing Trees for "on-the-fly" Verification. ![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. 417-432, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Joaquín Keller |
An Extension of GDMO for Formalizing Managed Objects Behaviour. ![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. 201-217, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro, W. Eric Wong |
Mutation Testing Applied to Validate Specifications Based on Petri Nets. ![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. 329-337, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Alain Kerbrat, Slim Ben Atallah |
Formal Specification of a Framework for Groupware Development. ![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. 303-310, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Guy Juanole, Laurent Gallon |
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. ![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. 351-366, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino |
Combining Formal Methods: An Exercise in Integration. ![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. 295-302, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Luming Lai |
A Unified Model for CSP-like Languages with 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. 159-166, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. ![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. 433-440, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | András L. Oláh, Sonia M. Heemstra de Groot |
Assertional Verification of a Connection Management Protocol. ![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. 401-416, 1995, Chapman & Hall, 0-412-73270-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Dieter Hogrefe, Stefan Leue (eds.) |
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![Chapman & Hall, 0-412-64450-9 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | H. Kremer |
Derivation of efficient implementations from formal descriptions - issues, methods and conformance. ![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. 431-446, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni |
Relating maximality-based semantics to action refinement in process algebras. ![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. 293-308, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez |
Design of operating systems using the F.D.T. ESTELLE. ![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. 71-86, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Stefan Böhmer, Ralf Klafka |
A new approach to performance evaluation of formally specified protocols. ![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. 452-454, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Leslie Lamport |
How good is your specification method? ![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. 289, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Thierry Cattel |
Modelization and verification of a multiprocessor realtime OS kernel. ![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. 55-70, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (eds.) |
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![North-Holland, 0-444-81773-5 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | S. Le Bricquir, A. Lauzanne |
Validation of supplementary services in the context of interoperability. ![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. 119-134, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch |
Verifying timing properties of concurrent algorithms. ![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. 259-273, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Andreas Vogel |
Towards a formal computational model for distributed multimedia applications. ![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. 373-375, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | R. Sekar 0001, Yow-Jian Lin, C. R. Ramakrishnan 0001 |
Modelling techniques for evolving distributed applications. ![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. 461-476, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori |
A synthesis algorithm of a protocol model from a single entity. ![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. 477-492, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez 0002, Juan J. Gil, C. Ramos, M. I. Felipe |
FDT based development of an interworking unit between LANs and X.25 networks. ![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. 135-150, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | J. R. Rowson |
Formal specification and analysis of an ISO communications protocol. ![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. 277-279, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | 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 |
|
1 | Eckhardt Holz, Ketil Stølen |
An attempt to embed a restricted version of SDL as a target language in Focus. ![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. 324-339, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Pim Kars |
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. ![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. 165-180, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Nancy A. Lynch |
Proving performance propterties (even probabilistic ones). ![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. 3-20, 1994, Chapman & Hall, 0-412-64450-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|