Author:
Jaragh Mansour,Saleh Kassem
Subject
Hardware and Architecture,Information Systems,Software
Reference25 articles.
1. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Trans. Software Eng.,1991
2. Deriving protocol converters for communications gateways;Bochmann;IEEE Trans. Commun.,1990
3. Design principles for communication gateways;Bochmann;IEEE J. Selected Areas on Commun.,1990
4. Calvert, K., Lam, S., 1989. Deriving a protocol converter: a top down method. Proceedings of the ACM SIGCOMM'89, pp. 247–258
5. Calvert, K., Lam, S., 1990a. Adaptors for protocol conversion. Proceedings of the INFOCOM'90 vol. 2, pp. 552–560
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis;International Journal of Communication Systems;2007
2. Modeling computer hardware using the Unified Modeling Language;2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering. TENCOM '02. Proceedings.