Overview: Written by experts.Made for postgraduate students, researchers, academics, and engineers in industry.Provides an overview of leading-edge research in methods and tools for use in computer system engin.This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China..The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for sof
|