Saxo Access
Indkøbskurv

Yi, Wang

Vis søgefilter

Vis mig kun

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Yi, Wang

436,85 DKK

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Yi, Wang

875,33 DKK

Dependable Software Engineering: Theories, Tools, and Applications

Dependable Software Engineering: Theories, Tools, and Applications

Yi, Wang

403,64 DKK

Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning

Yi, Wang

509,93 DKK