权威例句
The Animator's Survival Kit
The ProB Animator and Model Checker for B A Tool Description
The ProB Animator and Model Checker for B A Tool Description
H-animator:a visual tool for modeling, reuse and sharing of X3D humanoid animations
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
Network visualization with Nam, the VINT network animator
Validating Z Specifications Using the ProB Animator and Model Checker
Validating Z Specifications Using the ProB Animator and Model Checker
Validating Z Specifications Using the ProB Animator and Model Checker
The Animator's Survival Kit--Revised Edition: A Manual of Methods, Principles and Formulas for Classical, Computer, Games, Stop Moti...