Back to Search
Start Over
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems
- Source :
- FMICS 2022: Formal Methods for Industrial Critical Systems: 27th International Conference, Warsaw, Poland, September 14–15, 2022, Proceedings; Lecture Notes in Computer Science; 226; 243; 9783031150081; 0302-9743; Lecture Notes in Computer Science ; 13487; FMICS 2022: Formal Methods for Industrial Critical Systems: 27th International Conference, Warsaw, Poland, September 14–15, 2022, Proceedings~Lecture Notes in Computer Science~226~243~~9783031150081~0302-9743~~~Lecture Notes in Computer Science ; 13487~
- Publication Year :
- 2022
-
Abstract
- FMICS 2022<br />Item does not contain fulltext
Details
- Database :
- OAIster
- Journal :
- FMICS 2022: Formal Methods for Industrial Critical Systems: 27th International Conference, Warsaw, Poland, September 14–15, 2022, Proceedings; Lecture Notes in Computer Science; 226; 243; 9783031150081; 0302-9743; Lecture Notes in Computer Science ; 13487; FMICS 2022: Formal Methods for Industrial Critical Systems: 27th International Conference, Warsaw, Poland, September 14–15, 2022, Proceedings~Lecture Notes in Computer Science~226~243~~9783031150081~0302-9743~~~Lecture Notes in Computer Science ; 13487~
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1366679881
- Document Type :
- Electronic Resource