海量图书期刊资源,随时随地畅享阅读乐趣
Quantitative reactive modeling and verificationHenzinger, Thomas A. · Computer Science - Research and Development · 2013
Rigorous software engineeringGlesner, Sabine · Computer Science - Research and Development · 2013
ERC grantsNagy, Gabor · Computer Science - Research and Development · 2013
Synthesizing realistic test modelsShariat Yazdi, Hamed; Pietsch, Pit; Kehrer, Timo; Kelter, Udo · Computer Science - Research and Development · 2015
Energy informatics for behavioral changeLossin, Felix; Loder, Allister; Staake, Thorsten · Computer Science - Research and Development · 2016
Benchmarking for power consumption monitoringWeiland, Michèle; Johnson, Nick · Computer Science - Research and Development · 2015
Microservices tenetsZimmermann, Olaf · Computer Science - Research and Development · 2017
DrACO: Discovering available cloud offeringsBrogi, Antonio; Cifariello, Paolo; Soldani, Jacopo · Computer Science - Research and Development · 2017