Testing the Correctness of Tasking Supervisors with TSL Specifications.
David S. Rosenblum, David C. Luckham
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/RosenblumL89 ↗
Browse the full ISSTA paper archive.