Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Giann Spilere Nandi"'
Autor:
Jose Luis de la Vara, Henrique Madeira, Fabio Patrone, Silvia Mazzini, José Proença, Bernhard Fischer, Thomas Bauer, David Pereira, Rupert Schlick, Stefano Tonetta, Mustafa Karaca, Ugur Yayan, Martin Matschnig, Behrooz Sangchoolie, Giann Spilere Nandi
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030853464
QUATIC
Communications in Computer and Information Science
Communications in Computer and Information Science-Quality of Information and Communications Technology
QUATIC
Communications in Computer and Information Science
Communications in Computer and Information Science-Quality of Information and Communications Technology
As our dependence on automated systems grows, so does the need for guaranteeing their safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation (V&V) must be used to this end and it is necessary that the methods and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb48818624d8f069b4b58b4cdc25064a
https://doi.org/10.1007/978-3-030-85347-1_24
https://doi.org/10.1007/978-3-030-85347-1_24
Autor:
Marina Daros, Leonardo Francis, Roderval Marcelino, Giann Spilere Nandi, Gustavo Medeiros de Araújo, Rodrigo Maciel, Joice Cardoso, Antônio Augusto Fröhlich, Renan Cunha, Vinicius Ramos
Publikováno v:
SBESC
One of the requirements of the Industry 4.0 is the concern about the stability of its product development. Applying emerging technologies to improve product quality control is a significant step in achieving balance in the production process. The aco
Publikováno v:
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Lecture Notes in Computer Science-Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483d8fa8720ff5b118a36736748fa0ae
Publikováno v:
2020 IEEE Real-Time Systems Symposium (RTSS)
RTSS
RTSS
Guaranteeing that safety-critical Cyber-Physical Systems (CPS) do not fail upon deployment is becoming an even more complicated task with the increased use of complex software solutions. To aid in this matter, formal methods (rigorous mathematical an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b22f109e2118e06010fd8b47e837199b
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully re