Author:
Huang Haitao,Adjiman Claire S.,Shah Nilay
Subject
General Chemical Engineering,Environmental Engineering,Biotechnology
Reference47 articles.
1. “Safety Verification in Chemical Plants: A New Quantitative Approach,” Comput. and Chem. Eng. Suppl., S581 (1999).
2. A global optimization method, αBB, for general twice-differentiable constrained NLPs—II. Implementation and computational results
3. The algorithmic analysis of hybrid systems
4. , , and , “Hybrid Automata: an Algorithm Approach to the Specification and Verification of Hybrid Systems,” Hybrid Systems, , , and , eds., Lectures Notes in Computer Science, Vol. 736, Springer-Verlag, Berlin, p. 209 (1993).
5. Automatic symbolic verification of embedded systems
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献