Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems
From u-t-autonomous.info
The revision #403 of the page named "Formal Specification and Correct-by-Construction Synthesis of Control Protocols for Adaptable, Human-Embedded Autonomous Systems" does not exist.
This is usually caused by following an outdated history link to a page that has been deleted. Details can be found in the deletion log.