Automatic generation of invariants and intermediate assertions

By Bjorner N.   Browne A.   Manna Z.  

Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. : 49-87

Elsevier

Access to resources Recommend Favorite

Post-mining: maintenance of association rules by weighting

By Zhang S.   Zhang C.   Yan X.  

Information Systems, Vol. 28, Iss. 7, 2003-10 ,pp. : 691-707

Elsevier

Access to resources Recommend Favorite

An optimal maintenance time of automatic monitoring system of ATM with two kinds of breakdowns

By Nakamura S.   Qian C.   Hayashi I.   Nakagawa T.  

Computers and Mathematics with Applications, Vol. 46, Iss. 7, 2003-10 ,pp. : 1095-1101

Elsevier

Access to resources Recommend Favorite

Human factors automatic evaluation for entire maintenance processes in virtual environment

By  

Assembly Automation, Vol. 34, Iss. 4, 2014-09 ,pp. : 357-369

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Semi-Automatic Ontology Construction by Exploiting Functional Dependencies and Association Rules

By  

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 7, Iss. 2, 2011-04 ,pp. : 1-22

IGI Global_journal

Access to resources Recommend Favorite