Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Reference27 articles.
1. Requirements specification and analysis of digital systems using fuzzy and marked Petri nets;Shen;IEEE Trans. Syst, Man, Cybern, Part B: Cybernetics,1998
2. Correctness in hierarchical knowledge-based requirements;Shen;IEEE Trans. Syst., Man, Cybern.—Part B: Cybern.,2000
3. Distributed design-space exploration for high level synthesis systems;Dutta;Proc. 29th ACM/IEEE Des. Automat. Conf.,1992
4. The high-level synthesis of digital systems;McFarland;Proc. IEEE,1990
5. Requirements specification and analysis of fault-tolerant digital systems;Shen;IEEE Trans. Syst., Man, Cybern.—Part A: Syst. Humans,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Prototype Design and Synthesis of Cluster MPSoC Architecture for Multiple Applications;Journal of Computers;2012-11-01
2. Structural Property Analysis of Petri Net;Journal of Computers;2012-01-01
3. Property Preservation of Time Petri Net Reduction;2010 Third International Symposium on Intelligent Information Technology and Security Informatics;2010-04