MPG.eBooks - Search Results - (translating OR translation) and interpreting

Search alternatives:
translating » translations , translational

Cover Image

1

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proce...

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

2

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive...”