Visual Temporal Logic as (ResearchIndex)

See this document in CiteSeerX!

Visual Temporal Logic as (Make Corrections)
a Rapid Prototyping Tool Martin Franzle Karsten Luth Carl von Ossietzky...

Home/Search Context Related

Rate this article:

(Enter summary)
Abstract: Within this survey article, we explain real-time symbolic timing diagrams and the ICOS tool-box supporting timing-diagram-based requirements capture and rapid prototyping. Real-time symbolic timing diagrams are a full-fledged metric-time temporal logic, but with a graphical syntax reminiscent of the informal timing diagrams widely used in electrical engineering. ICOS integrates a variety of tools, ranging from graphical specification editors over tautology checking and counterexample ... (Update)

Similar documents (at the sentence level):
42.2%: Visual Temporal Logic as a Rapid Prototyping Tool - Fränzle, Lüth (2001) (Correct)
21.1%: Compiling Graphical Real-Time Specifications into Silicon - Fränzle, Lüth (1998) (Correct)

Active bibliography (related documents): More All
0.2: A Graphic Language Based on Timing Diagrams - Antoine, Le Goff, Pin (Correct)
0.2: Specification, Simulation, and Verification of Timing Behavior - Amon (1993) (Correct)
0.1: The EVENTS Approach to Rapid Prototyping for.. - Lüth.. (1997) (Correct)

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

BibTeX entry: (Update)

@misc{ tool-visual,
  author = "Rapid Prototyping Tool",
  title = "Visual Temporal Logic as",
  url = "citeseer.ist.psu.edu/762718.html" }