Formal Specification of the Möbius Modeling Framework
Deavours, Daniel Duane
Permalink
https://hdl.handle.net/2142/88519
Description
Title Formal Specification of the Möbius Modeling Framework Author(s) Deavours, Daniel Duane Issue Date 2001-10 Keyword(s) Mobius formal specification Performability/dependability modelling frameworks Performability/dependability modeling frameworks Performance/dependability modelling tools Performance/dependability modeling tools Performance/dependability modelling formalisms Performance/dependability modeling formalisms Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG-01-2224, CRHC-01-10 Type of Resource text Language en Permalink http://hdl.handle.net/2142/88519 Sponsor(s)/Grant Number(s) DARPA / DABT63-96-C-0069 National Science Foundation / EIA 99-75019 Motorola Inc.
Owning Collections
