An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht, Dragos Truscan

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Search results