Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Platoon of Cristal Vehicles Using CSP//B -- Explaining Verification Conditions -- Towards Formal...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “... Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool...”
Cover Image
Read Now

3
Published 2022
Springer International Publishing
Table of Contents: “...Automated Consistency Analysis for Legal Contracts -- Monitoring Cyber-Physical Systems using a...”