Some years ago, my linguistic research team and I started to develop a computational tool aimed at reconstructing the text of ...
Abstract: Based on the strong demand for independent control and the improvement of domestic databases, database localization has become an inevitable trend. In the process of migrating Oracle ...
Abstract: This paper presents an application of counter example guided abstraction refinement to model checking of IEC 60848 GRAFCET for industrial control systems. We employ an abstraction technique ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results