MPG.eBooks - Search Results - "salt"

Search alternatives:
"salt" » "sale"

Cover Image

1

Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Specifications -- Time Aware Modelling and Analysis of Multiclocked VLSI Systems -- SALT—Structured Assertion...”