Model-based testing for concurrent systems with labelled event structures.

Saved in:
Bibliographic Details
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.
Be the first to leave a comment!
You must be logged in first