
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
584,-

Search-Based Software Engineering
611,-

Hardware and Software
584,-

Engineering Trustworthy Software Systems
584,-

String Processing and Information Retrieval
584,-

Hardware and Software
584,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
584,-

Search-Based Software Engineering
611,-

Hardware and Software
584,-

Engineering Trustworthy Software Systems
584,-

String Processing and Information Retrieval
584,-

Hardware and Software
584,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-

Computer Aided Verification
431,-












