Return to search

Temporal design for core-based systems : a formal approach

No description available.
Identiferoai:union.ndltd.org:GATECH/oai:smartech.gatech.edu:1853/13077
Date12 1900
CreatorsShen, Lan
PublisherGeorgia Institute of Technology
Source SetsGeorgia Tech Electronic Thesis and Dissertation Archive
Languageen_US
Detected LanguageEnglish
TypeDissertation
Format233 bytes, text/html
RightsAccess restricted to authorized Georgia Tech users only.

Page generated in 0.0015 seconds