Search alternatives:
formal language » formal languages
automata » automated, automatic

1
Published 2016
Springer International Publishing
Table of Contents: ... Exploration for Formal Modelling -- Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal...