Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3023042.pdf (11MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Formal Specification of the Moebius Modeling Framework
Author(s):Deavours, Daniel Duane
Doctoral Committee Chair(s):Sanders, William H.
Department / Program:Electrical Engineering
Discipline:Electrical Engineering
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Engineering, Electronics and Electrical
Abstract:In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.
Issue Date:2001
Type:Text
Language:English
Description:170 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001.
URI:http://hdl.handle.net/2142/80729
Other Identifier(s):(MiAaPQ)AAI3023042
Date Available in IDEALS:2015-09-25
Date Deposited:2001


This item appears in the following Collection(s)

Item Statistics