Knowledge and Systems Engineering

The field of Knowledge and Systems Engineering (KSE) has experienced rapid development and inspir...

Advances in Knowledge and Systems Engineering

InhaltsangabePart I Workshop Invited Talks.- Part II KSE 2013 Special Sessions and Workshop.

Automated Technology for Verification and Analysis

InhaltsangabeInvited Papers.-Acceleration for Petri Nets.- Automated Verification and Strategy Sy...

Specification Case Studies in RAISE

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Softwar...

Theoretical Aspects of Computing - ICTAC 2017

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...

Integrated Uncertainty in Knowledge Modelling and Decision Making

This book constitutes the refereed proceedings of the 6th International Symposium on Integrated U...

Distributed Computing and Internet Technology

This book constitutes the proceedings of the 16th International Conference on Distributed Computi...

Automated Technology for Verification and Analysis