P. C. Clements, C. L. Heitmeyer, B. G. Labaw, and A. T. Rose. "MT: A Toolset for Specifying and Analyzing Real-Time Systems," Real-Time System Symposium, Lake Buena Vista, FL, December 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Selective Quantitative Analysis and Interval Model.. - Campos, Clarke, Grumberg (2000) (9 citations) (Correct)
An Automation-Based Design Methodology for Distributed, Hard.. - Puchol (1998) (Correct)
Analysis and Verification of Real-Time Systems using.. - Campos, Clarke (1999) (3 citations) (Correct)
Selective Quantitative Analysis and Interval Model.. - Campos, Clarke, Grumberg (1999) (9 citations) (Correct)
Compiling Modechart - Specifications Carlos Puchol (Correct)
GCSR: A Graphical Language for the Specification and.. - Ben-Abdallah (1995) (Correct)
Formal Methods For Real-Time Systems - Stuart (1996) (2 citations) (Correct)
Specification and Analysis of Real-Time Systems: Modechart .. - Mok, STUART, JAHANIAN (1995) (3 citations) (Correct)
Integrated Design Tools for Hard Real-time Systems - Puchol, Mok (Correct)
Instrumentation, Modeling and Analysis of Dynamic.. - Welch, Shirazi.. (1998) (Correct)
Formal Verification and Analysis of Multimedia Systems - Campos, Ribeiro-Neto.. (1999) (2 citations) (Correct)
An Operational Semantics and Compiler for Real-Time.. - Puchol, Stuart, Mok (1998) (Correct)
Automatic Analysis of Consistency between Requirements and.. - Chechik, Gannon (1996) (6 citations) (Correct)
The Design and Analysis of Real-Time Systems Using the.. - Kolano, Dang, al. (1999) (2 citations) (Correct)
Graphical Communicating Shared Resources: a Language for.. - Ben-Abdallah, Lee (1997) (Correct)
Software Approach to Hazard Detection Using On-line.. - Schroeder, Aggarwal.. (1997) (1 citation) (Correct)
A Framework for Evaluating Specification Methods.. - Ardis, Chaves.. (1996) (20 citations) (Correct)
Schedulability and Safety Analysis in the Graphical.. - Ben-Abdallah, Kim (1996) (Correct)
Automatic Real-Time Analysis of Ada Tasking Programs for.. - Buy, Sloan (Correct)
A Framework for Evaluating Specification Methods.. - Ardis, Chaves.. (1995) (20 citations) (Correct)
PARAGON: A Paradigm for the Specification.. - Ben-Abdallah.. (Correct)
A Methodology and Support Tools for Analysis of Real-Time.. - Stuart, Mok, Jahanian (Correct)
An Operational Semantics and Compiler for Real-Time.. - Puchol, Stuart, Mok (1998) (Correct)
Compiling Modechart Specifications - Puchol, Mok, Stuart (1995) (6 citations) (Correct)
VERSA: A Tool for the Specification and Analysis of.. - Clarke, Lee, Xie (1995) (29 citations) (Correct)
Run-Time Monitoring of Real-Time Systems - Jahanian (1995) (32 citations) (Correct)
The Algebra of Communicating Shared Resources and Its Toolkit - Lee, Clarke, Xie (1995) (2 citations) (Correct)
Software Approach to Hazard Detection Using On-line.. - Schroeder, Aggarwal.. (1997) (1 citation) (Correct)
Selective Quantitative Analysis and Interval Model.. - Campos, Clarke, Grumberg (1996) (9 citations) (Correct)
Operational Semantics for Visual Simulation in PARAGON - Ben-Abdallah, Lee, Sokolsky (Correct)
A Process Algebra and Tools for the Specification and.. - Lee, Clarke, Xie (1997) (Correct)
Supporting the Requirements for Multilevel Secure and Real-Time .. - Son, Chaney (1997) (3 citations) (Correct)
The Verus Language: Representing Time efficiently with BDDs - Rgio Campos (1997) (2 citations) (Correct)
An Approach to Monitoring and Assertion-Checking.. - Brockmeyer.. (1996) (9 citations) Self-citation (Heitmeyer Labaw) (Correct)
Consistency Checking of SCR-Style Requirements Specifications - Heitmeyer, Labaw, Kiskis (1995) (50 citations) Self-citation (Heitmeyer Labaw) (Correct)
Formal Methods in Describing Architectures - Dr Paul Self-citation (Clements) (Correct)
The Role of HCI in CASE Tools Supporting Formal Methods - Connie Heitmeyer (1994) Self-citation (Heitmeyer) (Correct)
SCR*: A Toolset for Specifying and Analyzing Requirements - Heitmeyer, Bull, Gasarch.. (1995) (4 citations) Self-citation (Heitmeyer Labaw) (Correct)
A Flexible, Extensible Simulation Environment for.. - Brockmeyer.. Self-citation (Heitmeyer Labaw) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC