{"id":"W1877887853","doi":"10.1007/978-0-387-35516-0_18","title":"An Approach for Testing Real Time Protocol Entities","year":2000,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Université de Montréal; Université de Sherbrooke","funders":"","keywords":"Computer science; Protocol (science); Transformation (genetics); Test (biology); Architecture; State (computer science); Programming language; Embedded system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003940463,0.001747901,0.0009588627,0.001667957,0.001077803,0.002434932,0.0048347,0.002971944,0.006753691],"category_scores_gemma":[0.007991249,0.001118999,0.001668107,0.001119645,0.003951177,0.006711154,0.003957108,0.003855741,0.002033442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0011821,"about_ca_system_score_gemma":0.002397635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001941198,"about_ca_topic_score_gemma":0.002520189,"domain_scores_codex":[0.9929031,0.002410562,0.0003959483,0.001179287,0.002707893,0.0004032569],"domain_scores_gemma":[0.9925506,0.003455634,0.0003089717,0.002516052,0.0009666752,0.0002021056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003283382,0.0007602753,0.001899746,0.000700137,0.0002048709,0.0007717652,0.0014275,0.03258934,0.05386356,0.5429885,0.008890762,0.3555753],"study_design_scores_gemma":[0.0001900339,0.0006670583,0.0006396191,0.0001943252,0.0003560064,0.001731017,0.0005681086,0.3441986,0.08329937,0.5183629,0.0496623,0.000130694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003018824,0.00005735008,0.9912732,0.000205367,0.00003874864,0.0001618845,0.00004128597,0.001289415,0.0039139],"genre_scores_gemma":[0.09729359,0.0001253038,0.8924142,0.0003364843,0.000035022,0.0004523925,0.0001602332,0.0003077933,0.008875067],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006753691,"threshold_uncertainty_score":0.02259332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02392288909567344,"score_gpt":0.3132298438549818,"score_spread":0.2893069547593083,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}