DASE: An Environment for System Level Telecommunication Design Exploration and Modelling
暂无分享,去创建一个
[1] Ben C. Moszkowski,et al. A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.
[2] Alice C. Parker,et al. The high-level synthesis of digital systems , 1990, Proc. IEEE.
[3] Vinod K. Agarwal,et al. A Specification-Driven Architectural Design Environment , 1995, Computer.
[4] Franz J. Rammig,et al. System Level Design , 1993 .
[5] C. J. Koomen. The Design of Communicating Systems: A System Engineering Approach , 1991 .
[6] Oryal Tanir,et al. Defining requirements for a standard simulation environment , 1994, Computer.
[7] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[8] Kenneth P. Birman,et al. Reliable communication in the presence of failures , 1987, TOCS.
[9] Allen Newell,et al. Computer Structures: Readings and Examples, , 1971 .
[10] V. K. Agarwal,et al. The design of a library support system for a telecommunication system synthesis environment , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.
[11] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[12] C. J. Koomen. The Design of Communicating Systems , 1991 .