Cots-based Software Systems : 4th International Conference, Iccbss 2005, Bilb...

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FOR

Cots-based Software Systems : 4th International Conference, Iccbss 2005, Bilb...

Lean Enterprise Software and Systems : 4th International Conference, Less 201...

Fundamental Approaches to Software Engineering : 4th International Conference...

Trusted Systems: 4th International Conference, INTRUST 2012, London, UK, Decembe

Formal Modeling and Analysis of Timed Systems : 4th International Conference,...