Subject
Applied Mathematics,Control and Systems Engineering,Electrical and Electronic Engineering,Computer Science Applications,Instrumentation
Reference29 articles.
1. Reusability in programming: A survey of the state of the art;Jones;IEEE Trans. Software Engineering,1984
2. Provably correct designs: An issue in control software development;Boriani,1994
3. Axiomatic specification and logic programming: fast prototyping of correct designs;Boriani;ISA Transactions,1995
4. Can software reliability be evaluated?;Simmonds;IFAC Reliability of Instrumentation Systems,1986
5. Petri nets in event-driven process control;Boriani,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献