MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • I R I S a  
  • by Campus Universitaire De, Jean-claude Fernandez, Claude Jard, Thierry J — 1997 — Science of Computer Programming
  • … ISSN 1166-8687 1035 AN EXPERIMENT IN AUTOMATIC GENERATION OF TEST SUITES FOR PROTOCOLS…
  • Add To MetaCart
  • CADP'97 - Status, Applications and Perspectives  
  • by H. Garavel, M. Jorgensen, R. Mateescu, Ch. Pecheur, M. Sighireanu, B. Vivien, Inria Rhone-alpes, Dyade Vasy Group — 1997 — in I. Lovrek (Ed.), Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design
  • … of Test Suites for Protocols with Verification Technology. 1996. Special issue on Industrially Relevant…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB