2026-09-20T05:04:59Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/80729 2023-07-11 col_2142_5131 col_2142_8888 com_2142_5130 com_2142_8887 com_2142_234

Sanders, William H. Deavours, Daniel Duane 2015-09-25T20:07:51Z 2015-09-25T20:07:51Z 10000-01-01 2001 2001 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. Made available in DSpace on 2015-09-25T20:07:51Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3023042.pdf: 10906833 bytes, checksum: b4b23d7fe6c7279a7776bed7162975ed (MD5) Previous issue date: 2001 Embargo set by: Seth Robbins for item 82011 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs U of I Only 170 p. Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001. http://hdl.handle.net/2142/80729 (MiAaPQ)AAI3023042 eng Engineering, Electronics and Electrical Formal Specification of the Moebius Modeling Framework text Electrical Engineering Electrical Engineering University of Illinois at Urbana-Champaign Dissertation Ph.D.