Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016년
Formal Methods for Multicore Programming
2015년
Formal Methods for Web Services
2009년
Formal Methods for Eternal Networked Software Systems
2011년
Formal Methods for Performance Evaluation
2007년
Computer Performance Engineering
2010년