Author:
Bochmann Gregor v.,Rayner Dave,West Colin H.
Subject
Computer Networks and Communications
Reference71 articles.
1. Videotex networks;Ball;IEEE Computer,1980
2. A note on reliable full-duplex transmission over half-duplex links;Bartlett;ACM Communications,1969
3. A formal specification technique and implementation method for protocols;Blumer;Computer Networks,1982
4. G.v. Bochmann, Deriving component designs from global requirements, in: Proceedings on International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES), Toulouse, September 2008.
5. G.v. Bochmann, Using first-order logic to reason about submodule construction, in: Proceeding of IFIP International Conference on Formal Techniques for Distributed Systems, LNCS 5522, Springer Verlag, Lisbon, Portugal, 2009.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献