MPG.eBooks - Search Results - ((bond dynamics) OR (board dynamics)) experiments using papers

Search alternatives:
board dynamics » forward dynamics , stand dynamics , based dynamics
bond dynamics » bonding dynamics , crowd dynamics , stand dynamics
using papers » using paper , using panels , being papers

Cover Image

1

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec...”