Repository logo

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

Simple item page
dc.contributor.authorGueraichi, Djaffar.
dc.date.accessioned2009-03-20T20:21:01Z
dc.date.available2009-03-20T20:21:01Z
dc.date.created1989
dc.date.issued1989
dc.degree.levelMasters
dc.degree.nameM.C.S.
dc.identifier.citationSource: Masters Abstracts International, Volume: 40-07, page: .
dc.identifier.isbn9780315532502
dc.identifier.urihttp://hdl.handle.net/10393/5721
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-10896
dc.publisherUniversity of Ottawa (Canada)
dc.subject.classificationLibrary Science.
dc.titleDerivation of test cases for LAP-B from a formal specification in LOTOS.
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail ImageThumbnail Image
Name:
ML53250.PDF
Size:
4.06 MB
Format:
Adobe Portable Document Format
Download

Collections

Thèses, 1910 - 2010 // Theses, 1910 - 2010