Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"TASM"”.
-
A method for mapping between ASMs and implementation language
… called the Timed Abstract State Machine (TASM) language. This code generation process involves a series of three transformations. The first transformation creates a specialised System Dependency Graph (SDG) called a TASM SDG from a TASM specification.
-
A formal framework for specification-based embedded real-time system engineering
… language, the Timed Abstract State Machine (TASM) language, which extends the theory of Abstract State Machines (ASM).
-
A Computer Model to Estimate Commercial Aviation Fuel Consumption and Emissions in the Continental United States
A comprehensive model is developed to estimate and predict the fuel consumption and emissions by domestic commercial aviation in the Continental United States. Most of the existing fuel consumption and emission models are limited in their ability to predict the annual fuel burn for air …