View in EDS

A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS.

Saved in:
Bibliographic Details
Title: A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS.
Authors: SARNA-STAROSTA, BEATA1, bss@cse.msu.edu, STIREWALT, R. E. K.1, stire@cse.msu.edu, DILLON, LAURA K.1, ldillon@cse.msu.edu
Source: International Journal of Software Engineering & Knowledge Engineering; Apr2007, Vol. 17 Issue 2, p207-230, 24p, 5 Diagrams, 4 Charts
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first