Rapid prototyping for an assertional specification language-Reference-Cited by-同舟云学术

Rapid prototyping for an assertional specification language

Published:1996 Issue: Volume: Page:402-406
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Cuéllar Jorge,Barnard Dieter,Huber Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61042-1_59.pdf

Reference5 articles.

1. Dieter Barnard and Simon Crosby. The Specification and Verification of an ATM Signalling Protocol. In Proc. of 15th IFIP PSTV'95, Warsaw, June 1995.

2. Jorge Cuéllar, Dieter Barnard, and Martin Huber. A Solution relying on the Model Checking of Boolean Transition Systems. Submitted as Final Solution to Dagstuhl Seminar of Broy/Lamport, 1994, Siemens Corporate Research and Development, ZFE T SE 1, D-81730 Munich, Germany, 1995.

3. Jorge Cuéllar and Martin Huber. The FZI Production Cell Case Study: A distributed solution using TLT. In Proc. of the FZI, volume 891 of LNCS. Springer-Verlag, 1994.

4. Jayadev Misra. Loosely-Coupled Processes. In Springer Verlag, editor, PARLE'91, Vol. 2, pages 1–26, 1991. LNCS 506.

5. MPIF (MPI Forum). MPI: A Message-Passing Interface Standard. Technical report, University of Tennessee, May 1994.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal methods in an industrial environment;Computer Aided Verification;1998

2. The steam-boiler problem — A TLT solution;Formal Methods for Industrial Applications;1996

3. A solution relying on the model checking of boolean transition systems;Formal Systems Specification;1996