MPG.eBooks - Search Results - formal (languages OR language) and (automata or automated) theory

Search alternatives:
automata » automatic

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Comparison of Two Approaches to Safety Analysis Based on Use Cases -- Using Unified Modeling Language...”