This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. R...
More
While China’s hybrid rural land tenure system has contributed to agricultural development, it is interwoven with rising farmland loss and social conflicts.This book examines the linkages between land tenure, development and governance in the context of China’s development transformation. Drawing on ...
More
