
















Advanced Information Systems Engineering
791,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Search-Based Software Engineering
611,-

Software Engineering for Resilient Systems
584,-

Advanced Information Systems Engineering
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Embedded Computer Systems
674,-

Advanced Information Systems Engineering
791,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Search-Based Software Engineering
611,-

Software Engineering for Resilient Systems
584,-

Advanced Information Systems Engineering
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Embedded Computer Systems
674,-