Autor: Zhiming Liu

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shangha …

The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts …

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwes …

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 …

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers …

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in Novem …

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University i …

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at S …

…

…

…

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.The 29 revised full papers pr …

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers …

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Af …

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratu …

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers …

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, …

Bioreactors are the heart of many biotechnological systems that are used for agriculture, environmental, industrial and medical applications. This book presents the design, properties and application …

The Federal Government operates a merit-based hiring system. The key purpose of the system is to identify, attract, and hire the candidates who can best meet the needs of the organization and support …

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in th …

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers prese …