Combining Formal Verification and Simulation for CPS Analysis: A Hybrid Approach

Dr. Arup Ratan Bandyopadhyay

doi:10.18848/6khkhy81

Combining Formal Verification and Simulation for CPS Analysis: A Hybrid Approach

Authors

Dr. Arup Ratan Bandyopadhyay Author

DOI:

https://doi.org/10.18848/6khkhy81

Keywords:

CPS Analysis

Abstract

This research explores the benefits of combining formal verification and simulation techniques for CPS analysis. By leveraging the strengths of both approaches, we aim to improve the accuracy, efficiency, and scalability of CPS verification.

Downloads

PDF

Published

2007-2025

Issue

Vol. 11 No. 1 (2016)

Section

Articles

License

Similar Articles

Rituparna Basu 1 , Dr. Tuhin Utsab Paul 2, Field Investigation of Bacterial Corrosion in Water Pipelines: A Comparative Analysis , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 14 No. 1 (2019)
Apoorva Bharadwaj 1, Prof. Parama Barai 2, Computational Approaches for Predicting Metal Binding Sites in Medicinal Plants: A Comparative Analysis , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 13 No. 1 (2018)
Shaik Jani 1, J. S. Saranya 2, Spatial and Temporal Variability of Erythemal Exposure in the Indo-Gangetic Plains: A Regional Analysis , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 13 No. 1 (2018)
Farhat un Nisa Shehzad 1, Mehreen Khan 2, MFRM for Comparing the Performance of Multiple Diagnostic Tests: A Comparative Analysis , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 13 No. 2 (2018)
Bolormaa B 1, Dr. Anil Middha 2, Culturally Responsive Pedagogy in Gang-Violent Communities: A Case Study Analysis , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 12 No. 2 (2017)
Tatiana Godoy Bobbio, Science education in an entry-level doctor of physical therapy program , International Journal of Interdisciplinary Cultural Studies, ISSN:2327-008XE-ISSN:2327-2554: Vol. 18 No. 2 (2023)

Previous 21-26 of 26

You may also start an advanced similarity search for this article.

Combining Formal Verification and Simulation for CPS Analysis: A Hybrid Approach

Authors

DOI:

Keywords:

Abstract

Downloads

Published

Issue

Section

License

Similar Articles

Scopus Indexing

Indexing

Scopus Link

Scopus Impact Factor

Journal Metrics

Latest publications

Keywords

Language

Developed By