Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Operations for SDL Language Profiles -- Evolution of Development Languages -- Automating Scenario Merging...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Conformance Test Systems -- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile -- Language...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network...”