This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
Item type
Year
Collections
Languages
-
Spring 2018
Using models in order to formalize and abstract the view of a system is a popular approach in different research areas. Deriving behavioral models from software executions is a common approach used in supporting a broad range of software development, maintenance, and verification and validation...
1 - 1 of 1