|
ICST 2022
15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
|
|
MODELSWARD 2022
10th International Conference on Model-Driven Engineering and Software Development
|
|
ATVA 2022
The 20th International Symposium on Automated Technology for Verification and Analysis
|
|
CAV 2022
Computer Aided Verification
|
|
Embedded Systems for AI-Based Health Mon 2022
Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
|
|
TASE 2022
Theoretical Aspects of Software Engineering
|
|
MDPI-Electronics-SI-QualRiskDistribSys 2022
MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
|
|
NOTION 2022
The Sixth Workshop on Human Behaviour Monitoring, Interpretation and Understanding
|
|
RV 2022
Runtime Verification 2022
|
|
FMICS 2022
International Conference on Formal Methods for Industrial Critical Systems
|
