Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Intracorporeal Robotics
inbunden,
2014,
Engelska,
ISBN 9781848213715
A promising long-term evolution of surgery relies on intracorporeal microrobotics. This book reviews the physical and methodological principles, and the scientific challenges to be …
The Inverse Method
inbunden,
2013,
Engelska,
ISBN 9781848214477
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular …