Searching for "Formal Description Techniques and Protocol Specification" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

FROM REFUTATION TO VERIFICATION John Rushby \Lambda
by unknown authors
… models, assurance, debugging. Invited paper, to be presented at Formal Description Techniques…
Add To MetaCart

From Refutation To Verification
by John Rushby — 2000
… models, assurance, debugging. Invited paper from Formal Description Techniques and Protocol Specification…
Add To MetaCart

Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
by Clemens Fischer, Graeme Smith — 1997 — Proc. FORTE/PSTV 97, Chapmann & Hall(1997
…: Formal Description Techniques and Protocol Specification, Testing and Verification T. Mizuno, N…
Cited by 6 (1 self) – Add To MetaCart

Issues in Conformance Testing: Multiple Semicontrollable Interfaces
by Mariusz A. Fecko, M. Unit Uyar, M. Lmit Uyar, Paul D, Adarshpal S. Sethi, Amer — 1998 — In Budkowski et al
…(Proc. IFIP Joint Int'l Conf. on Formal Description Techniques and Protocol Specification, Testing…
Cited by 8 (6 self) – Add To MetaCart

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps
by Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch — 1996 — Formal Description Techniques IX: Theory, Applications, and Tools (FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification
… Technology Square, Cambridge, MA 02139 Formal Description Techniques and Protocol Specification, Testing…
Cited by 7 (4 self) – Add To MetaCart

CMC: A Tool For Compositional Model-Checking Of Real-Time Systems
by François Laroussinie, Kim G. Larsen — 1988 — In Proc. IFIP Joint Int. Conf. Formal Description Techniques & Protocol Specification, Testing, and Verification (FORTE-PSTV'98
…http://www.lsv.ens-cachan.fr/Publis/ In Proc. IFIP Joint Int. Conf. Formal Description Techniques…
Cited by 14 (2 self) – Add To MetaCart

Exploiting symmetry in protocol testing
by J. M. T. Romijn, J. G. Springintveld, Issn -x, Copyright Stichting, Mathematisch Centrum, Judi Romijn, Jan Springintveld — 1998 — In Budkowski et al
…. Cavalli and E. Najm, editors, Formal Description Techniques and Protocol Specification, Testing…
Cited by 4 (0 self) – Add To MetaCart

A Practical Approach to Implementing Real-Time Semantics
by Girish Bhat, Rance Cleaveland, Gerald Lüttgen, Gerald Luttgen — 1999 — Annals of Software Engineering
… Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII '97), T. Mizuno…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 8.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB