
Hardware and Software: Verification and Testing
512,-

Web Information Systems Engineering - WISE 2017
584,-

Web Information Systems Engineering - WISE 2017
584,-

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
584,-

Measurement, Modelling and Evaluation of Computing Systems
584,-

Model and Data Engineering
674,-

Computational Science and Its Applications - ICCSA 2022
971,-

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
584,-

Image Analysis and Processing - ICIAP 2017
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
737,-

Hardware and Software: Verification and Testing
512,-

Web Information Systems Engineering - WISE 2017
584,-

Web Information Systems Engineering - WISE 2017
584,-

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
584,-

Measurement, Modelling and Evaluation of Computing Systems
584,-

Model and Data Engineering
674,-

Computational Science and Its Applications - ICCSA 2022
971,-

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
584,-

Image Analysis and Processing - ICIAP 2017
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
737,-