Search alternatives:
translating » translational
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...) Network Using Promela and Xspin -- Java PathFinder A Translator from Java to Promela -- VIP: A Visual...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- SAT-Based Counterexample Guided Abstraction Refinement -- Abstract Interpretation...”