Verification and Testing of Cyber-Physical Systems

The project has been started in Glushkov Institute of cybernetics in 2019. It considers the analysis and verification of a logistic system that integrates different devices for control of cargo and the Internet of Things. It uses the behavior algebra methods for formalization and analysis of such systems.

The paper will be uploaded in December.

 

© 2019 LitSoft Enterprise R&D. All Rights Reserved. Designed By JoomLead