Publisher
PUBLISHED BY IMPERIAL COLLEGE PRESS AND DISTRIBUTED BY WORLD SCIENTIFIC PUBLISHING CO.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Detection of Interaction Errors;2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA);2022-05-25
2. You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems;Conquering Complexity;2012
3. The B-Method;Texts in Computer Science;2011
4. Specification Formalisms and Models;Wiley Encyclopedia of Computer Science and Engineering;2009-03-16
5. The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design;Fundamental Approaches to Software Engineering;2004