Model-based testing for concurrent systems with labelled event structures.
Saved in:
| Title: | Model-based testing for concurrent systems with labelled event structures. |
|---|---|
| Authors: | León, Hernán Ponce1,2, Haar, Stefan1,2, Longuet, Delphine3 |
| Source: | Software Testing: Verification & Reliability; Nov2014, Vol. 24 Issue 7, p558-590, 33p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!