Keywords: سیرک; Circus; Mutation; Testing; Formal specification;
مقالات ISI سیرک (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیرک; Process algebra; CSP; Circus; Synchronisation coverage; Integration testing
A molecular phylogeny of the harriers (Circus, Accipitridae) indicate the role of long distance dispersal and migration in diversification
Keywords: سیرک; Accipitridae; Circus; Phylogenetics; Biogeographic history; Migration;
La médecine du cirque
Keywords: سیرک; Médecine; Cirque; Acrobate; Risque; Perte de figure; Souplesse; Hygiène; Traumatisme; Éducation physiqueMedicine; Circus; Acrobat; Risk; Loss of acrobatic form; Suppleness; Skin beauty; Traumatism; Physical education
Refinement-oriented models of Stateflow charts
Keywords: سیرک; Simulink; Circus; Formal semantics; Verification; Tools
The ion circus: A novel circular Paul trap to resolve isobaric contamination
Keywords: سیرک; 7.75.+h; 37.10.Rs; 37.10.Ty; 41.75.âi; Ion; Circus; Paul trap; Mass separation; Isobars;
Stereotypic behavior of circus tigers: Effects of performance
Keywords: سیرک; Stereotypic behavior; Pacing; Circus; Tiger; Performance;
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Keywords: سیرک; Proofs; Refinement; Circus; Z;