- More information will be added...

ICIVC 2016 论文集封面

ICIVC 2016 Proceedings Cover


Ei Compendex 检索

The proceedings of ICIVC 2016 has been indexed byEi Compendex.


Scopus 检索

The proceedings of ICIVC 2016 has been indexed byScopus.


Excellent Presentation

Can DMD obtain Scene Background in Color?


ICIVC 2016

Aug 3-5, 2017|Portsmouth, UK



ICIVC 2021 Tutorial Section

IoT, AI, and Predictive Analytics have become State-of-the-Art in the research field of Smart Production. However, focusing advanced modelling and analytics in industry often lack available data and data structures. One main reason are insufficient digital prerequisites of machinery and plants. Legacy systems are in general not IP capable and PLCs are limited in terms of interoperability, such that they can't communicate and exchange data with other machines or IT-nodes. Additionally, the spectrum of sensors implemented in brownfield plants is most likely insufficient for applications such as condition monitoring. Digital retrofit is a promising approach to raise the digital level of legacy systems by transforming the machine into a cyber physical system. As a result, use case based relevant data can be retrieved and analysed in higher level IT applications in order to run and optimize digital production processes. Thus, digital retrofit is enabler for IoT based processes, AI, and predictive analytics. In this tutorial the basic concepts and applied use cases are introduced and discussed.

T2 - Formal Methods - Free Tutorial at the 7th International Conference on Computer Technology Applications (ICIVC 2021)
Lecturer: Prof. Dr. Vitaliy Mezhuyev

The tutorial will introduce Formal Methods (FMs), which are used for the specification and verification of safety-critical computer systems. Use of FMs allows to verify a computer system before it is actually developed. Therefore, any bugs can be detected at an early stage to reduce the cost of the development. FMs will be introduced in Z, TLA+, and UPPAAL formal notations using appropriate techniques and tools. The tutorial will also discuss important properties of computer systems as real-time, concurrency, safety, liveness, and fairness.