Building real-time software models with automatic tools

Saved in:
Bibliographic Details
Title: Building real-time software models with automatic tools
Authors: Rajamani, Haripriya
Committee Members: Zalewski, Janusz
Summary: This item is only available in print in the UCF Libraries. If this is your thesis or dissertation, you can help us make it available online for use by researchers around the world by STARS for more information.
URL: https://stars.library.ucf.edu/rtd/1655
Database: OpenDissertations
Description
Abstract:This item is only available in print in the UCF Libraries. If this is your thesis or dissertation, you can help us make it available online for use by researchers around the world by STARS for more information.