Browsing by Subject Formal Methods
Showing results 1 to 3 of 3
| Publication Date | Title | Author(s) |
|---|---|---|
| Oct-2013 | Aspect-Oriented Product Family Modeling | Zhang, Qinglei |
| Nov-2015 | A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain | Kumar, Apurva |
| Nov-2017 | A Query Structured Model Transformation Approach | Mohammad Gholizadeh, Hamid |
