Automatic Methods for the Refinement of System Models: From the Specification

Automatic Methods for the Refinement of System Models : From the Specificatio...

Seiter - Automatic Methods for the Refinement of System Models From - X555z

Automatic Methods for the Refinement of System Models - 9783319414799

Refinement: Semantics, Languages and Applications by Derrick, John [Hardback]

From Action Systems to Distributed Systems: The Refinement Approach by Luigia Pe

The Refinement of Econometric Estimation and Test Procedures: Finite Sample and