Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets-Reference-Cited by-同舟云学术

Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets

Published:1997 Issue: Volume: Page:4-23
ISSN:
Container-title:Hardware Description Languages and their Applications
language:
Short-container-title:

Author:

Kleinjohann B.,Tacken J.,Tahedl C.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35064-6_2

Reference26 articles.

1. Altenbernd, Peter. 1995a. Allocation of Periodic Hard Real-Time Tasks. In 20th IFAC/IFIP Workshop on Real Time Programming (WRTP). Fort Lauderdale:

2. Altenbernd, Peter. 1995b. Deadline-Monotonic Software Scheduling for the Co-Synthesis of Parallel Hard Real-Time Systems. In Proceedings of the European Design and Test Conference (EDandTC). Paris:.

3. Altenbernd, Peter. 1996. On the False Path Problem in Hard Real-Time Programs. In 8th Euromicro Workshop on Real Time Systems (WRTS). L’Aquilla:.

4. Brielmann, Maria. 1995. Modelling Differential Equations by Basic Information Technology Means. In Proceedings of the 5th International Conference on Computer Aided Systems, Theory and Technology (EUROCAST’95). Innsbruck, Austria:.

5. Cherkasova, L. A. and V. E. Kotov. 1981. Structured Nets. In Mathematical Foundations of Computer Science, ed. J. Gruska and M. Chytil. Vol. 118 of Lecture Notes in Computer Science Springer Verlag.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Scenario-Based Modeling in Industrial Information Systems;Distributed, Parallel and Biologically Inspired Systems;2010

2. UF: Architecture and Semantics for System-Level Multiformalism Descriptions;Electronic Chips & Systems Design Languages;2001

3. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems;Applications and Theory of Petri Nets 2001;2001

4. Entwurf von autonomen Systemen mit High Level Petrinetzen;Autonome Mobile Systeme 2000;2000

5. Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables;Distributed Embedded Systems: Design, Middleware and Resources