Return to search

Derivation of test cases for LAP-B from a formal specification in LOTOS.

No description available.
Identiferoai:union.ndltd.org:uottawa.ca/oai:ruor.uottawa.ca:10393/5721
Date January 1989
CreatorsGueraichi, Djaffar.
PublisherUniversity of Ottawa (Canada)
Source SetsUniversité d’Ottawa
Detected LanguageEnglish
TypeThesis

Page generated in 0.0017 seconds