Publisher
Institution of Engineering and Technology (IET)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science
Reference52 articles.
1. Rapier 2000 software development programme
2. The Mascot method
3. Jackson, M.A.: ‘System development’, (Prentice-Hall International, New Jersey 1983)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards power-elastic systems through concurrency management;IET Computers & Digital Techniques;2012
2. Communication Mechanisms and Middleware for Distributed Video Surveillance;IEEE Transactions on Circuits and Systems for Video Technology;2011-12
3. Design Principles for Safety in Human-Robot Interaction;International Journal of Social Robotics;2010-03-24
4. Hardware Synthesis for Asynchronous Communications Mechanisms;2008 International Conference of the Chilean Computer Science Society;2008-11
5. Modeling and verifying asynchronous communication mechanisms using coloured Petri nets;2008 8th International Conference on Application of Concurrency to System Design;2008