Search alternatives:
%dynamical » %dynamics, %dynamic
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Equivalence Checking of System-Level and RTL Descriptions -- Proving Termination of Tree Manipulating Programs...”
Cover Image
Read Now

2
Published 1995
Springer US
Table of Contents: “...1 Open issues in conformance test specification -- 2 OSI protocol testing system based on user...”
Cover Image
Read Now

3 Table of Contents: “... An improved search strategy for Lossy channel systems -- 17 A weighted random walk approach for conformance...”