Towards a complete design method for embedded systems using predicate/transition-nets

Authors:
B. Kleinjohann;J. Tacken;C. Tahedl
Affiliations:
C-LAB, Paderborn, Germany;C-LAB, Paderborn, Germany;Heinz Nixdorf Institut, Paderborn, Germany
Venue:
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
Year:
1997

Citing 0
Cited 4

From high-level specifications down to software implementations of parallel embedded real-time systems

DATE '00 Proceedings of the conference on Design, automation and test in Europe
Managing Autonomous Vehicles at Intersections

IEEE Intelligent Systems
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract