18. ICECCS 2013: Singapore

Keynotes

System Modeling and Verification 1

System Evaluation

Logic and Algorithm

System Modeling and Verification 2

Real-Time Systems

Short Papers Session 1

Non-functional Property Analysis: Security and Reliability

Software Engineering

Short Papers Session 2

maintained by Schloss Dagstuhl LZI at University of Trier