Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Comparison of Two Approaches to Safety Analysis Based on Use Cases -- Using Unified Modeling Language...