Unknown (ResearchIndex)

See this document in CiteSeerX!

Unknown (Make Corrections)
Software Engineering Institute ESD-TR-86-208 CMU/SEI-86-TR-4 December 1986...

Rate this article:

(Enter summary)
Abstract: We present a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine. In our methodology we build upon well-defined, though isolated, pieces of previous work: Larch and Real Time Logic. In our notation, we strive to keep separate the functional specification from the timing specification so that a task's functionality can be understood independent of its timing behavior. We show that while there is a clean separation... (Update)

Active bibliography (related documents): More All
0.5: Aggregation Of States In Colored Stochastic Petri Nets.. - Dutheillet, Haddad (1989) (Correct)
0.3: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.3: The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)

Similar documents based on text:
0.0: Unknown - (Correct)

BibTeX entry: (Update)

@misc{ -unknown,
  title = "Unknown",
  url = "citeseer.ist.psu.edu/752087.html" }