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

Gueraichi, Djaffar.2009-03-202009-03-2019891989Source: Masters Abstracts International, Volume: 40-07, page: .9780315532502http://hdl.handle.net/10393/5721http://dx.doi.org/10.20381/ruor-10896Library Science.Derivation of test cases for LAP-B from a formal specification in LOTOS.Thesis