UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models

Journal article

Asadullah Shaikh, Uffe Kock Wiil and Nasrullah Memon

2011

Metrics

1 Record Views

Title: UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
Creators - without role: Asadullah Shaikh
Uffe Kock Wiil
Nasrullah Memon
Publisher: Springer
Identifiers: 9924457608331
Academic Unit: Najran University
Language: English
Resource Type: Journal article