Searching for "Scheduling System Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Scheduling System Verification
by Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo — 1999 — In TACAS 99: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1579
…Scheduling System Verification Pao-Ann Hsiung, Farn Wang, and Yue-Sun Kuo Institute of Information…
Cited by 4 (0 self) – Add To MetaCart

Automating Testbed Documentation and Database Access Using World Wide Web (WWW) Tools
by Charles Ames, Brent Auernheimer, Young H. Lee
… into test procedures; defining acceptance criteria; and negotiating the test schedule. System verification…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB