Hanne Christensen  Home/Search
Context
Related
| ifad.dk/pub/iptes/...tesifad238.ps.gz ifad.dk/pub/iptes/...tesifad238.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ifad.dk/Projects/iptesreports (more) From: ifad.dk/Projects/iptesreports (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document is the High Level Specification for the IPTES SA/SD-RT Heterogeneous Model Toolset. It describes the components of the toolset, their interaction and their relationship to the IPTES architecture. IPTES SA/SD-RT Heterogeneous Model Toolset---High Level Functional: : : a Contents 1 Introduction 2 2 The Components of the Toolset 2 2.1 High-Level View : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2.2 Heterogeneous Model Editor : : : : : : : : : : : : : : : : : : : ... (Update)
Similar documents (at the sentence level):
12.1%: IPTES SA/RT Logical Model Animator - High Level Specification - Orr, Lee (1993) (Correct)
Active bibliography (related documents): More All
2.3: IPTES SA/RT Logical Model Toolset - High Level Functional.. - Lee, Mogridge (1993) (Correct)
0.9: Automatic translation of SA/RT to high-level timed Petri .. - Elmstrøm, Lintulampi.. (1994) (Correct)
0.5: Guidelines for Mapping the IPTES Physical Model onto HLTPNs - Felder, Pezzé (1993) (Correct)
Similar documents based on text: More All
1.0: Outline of the IPTES Physical Model. - Alonso, Elmstrøm, Pezze, Pulli.. (1993) (Correct)
0.9: User Manual for the IPTES SA/RT Logical Model Toolset - Lee, Orr (1993) (Correct)
0.9: IPTES Distributed Toolset Description - Dueñas (Correct)
BibTeX entry: (Update)
@misc{ christensen-iptes,
author = "Hanne Christensen",
title = "IPTES SA/SD-RT Heterogeneous Model Toolset - High Level Functional Specification",
url = "citeseer.ist.psu.edu/christensen94iptes.html" }
Citations (may not include all citations):112 Structured Development for Real-Time Systems (context) - Ward, Mellor - 1986
38 The Transformation Schema: An Extension of the Data Flow Dia.. (context) - Ward - 1986
8 Definition of the IPTES Architecture (context) - Le'on, Puente et al. - 1991
6 gh Lassen and Peter Gorm Larsen (context) - Bo - 1991
6 The IPTES Meta-IV Language - Larsen, Lassen et al. - 1993
5 Automatic translation of SA/RT to high-level timed Petri net.. (context) - Elmstrom, Lintulampi et al. - 1993
5 Politechnico di Milano (context) - Felder, Ghezzi et al. - 1992
4 report: representing time by means of high level time Petri .. (context) - Pezz'e, Morasca et al. - 1992
4 RT Depth-first Scheduler (context) - MARI, Ltd et al. - 1993
3 RT Logical Model Toolset---High Level Functional Specificati.. (context) - Lee, Mogridge - 1993
3 Automatic translation of SA/SD-RT physical model to High-Lev.. (context) - Felder, Pezz'e - 1993
2 Specification of the IPTES Logical SA/RT Editor (context) - Lee - 1993
2 IPTES Doc (context) - Elmstrom, Felder et al. - 1993
1 Formal specification of the IPTES SA/SDRT to HLTPN Translato.. (context) - Christensen - 1993
1 High-Level Design of the IPTES SA/SD-RT to HLTPN Translator .. (context) - Elmstrom, Andersen - 1993
1 IPTES Doc Id: IPTES-MARI-31-V1 (context) - MARI, Ltd et al. - 1992
1 Specification of the IPTES Heterogeneous Model Scheduler (context) - Elmstrom - 1993
1 Abstract Syntax of IPTES SA/RT Heterogeneous Models (context) - Christensen, Elmstrom - 1993
1 Heterogeneous Model Editor Example Output (context) - Christensen, Elmstrom - 1993
Documents on the same site (http://www.ifad.dk/Projects/iptesreports.htm): More
Outline of the IPTES Physical Model. - Alonso, Elmstrøm, Pezze, Pulli.. (1993) (Correct)
The Elevator System: Logical Model - Dueñas, Rendón, Sánchez (1999) (Correct)
IPTES Distributed Toolset Description - Dueñas (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