AN EXTENDED CSPE- BASED METHOD FOR SPECIFICATION - BASED TESTING OF CONCURRENT PROGRAMS.

dc.contributor.authorWAJDI HOMAID JEDAIBI
dc.date2001
dc.date.accessioned2022-06-01T21:43:50Z
dc.date.available2022-06-01T21:43:50Z
dc.degree.departmentPh.D.
dc.identifier.other2786
dc.identifier.urihttps://drepo.sdl.edu.sa/handle/20.500.14154/59673
dc.language.isoen_US
dc.publisherSaudi Digital Library
dc.titleAN EXTENDED CSPE- BASED METHOD FOR SPECIFICATION - BASED TESTING OF CONCURRENT PROGRAMS.
dc.typeThesis
sdl.thesis.levelDoctoral
sdl.thesis.sourceSACM - United States of America

Files

Copyright owned by the Saudi Digital Library (SDL) © 2025