• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55763282)   Find a Category (125)   Find a Journal (6165)   Find a Scholar (3723)   Find an Academic Assistant (18)
Find an Article PDF (4646062)   Today's Articles (15430)   Subscriber (50665)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Year Published
Show more   Refine
Article Statistics
Refine
For: Park T, Barton PI. Formal verification of sequence controllers. Comput Chem Eng 2000. [DOI: 10.1016/s0098-1354(99)00327-0] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/16/2022]
Number Cited by Other Article(s)
1
Rawlings BC, Wassick JM, Ydstie BE. Application of formal verification and falsification to large-scale chemical plant automation systems. Comput Chem Eng 2018. [DOI: 10.1016/j.compchemeng.2017.11.004] [Citation(s) in RCA: 7] [Impact Index Per Article: 1.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/16/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA