{"id":"W4392877027","doi":"10.31026/j.eng.2002.03.07","title":"PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS","year":2003,"lang":"en","type":"article","venue":"Journal of Engineering","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Atomic Energy of Canada Limited","keywords":"Protocol (science); Computer science; Communications protocol; Finite-state machine; Protocol data unit; Formal methods; Function (biology); Distributed computing; Computer network; Algorithm; Software engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006015847,0.0006648552,0.0003455807,0.001086583,0.0007456658,0.002107132,0.001202808,0.0008547991,0.002434433],"category_scores_gemma":[0.006064353,0.0004756385,0.0008805908,0.0004994255,0.002220075,0.003047454,0.001210165,0.002122397,0.000693542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001515342,"about_ca_system_score_gemma":0.002788393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001353133,"about_ca_topic_score_gemma":0.0008490421,"domain_scores_codex":[0.9954967,0.001568931,0.000386014,0.0003904878,0.001958829,0.000198965],"domain_scores_gemma":[0.9963502,0.001980298,0.0002079215,0.0007994289,0.0006191556,0.00004295788],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001356431,0.0002508325,0.0007218408,0.0005164782,0.00004842733,0.0004837019,0.001136187,0.04240972,0.01926782,0.7337298,0.002501501,0.198798],"study_design_scores_gemma":[0.0001850924,0.000513013,0.0003931785,0.0006552229,0.0001444224,0.001187242,0.0005180877,0.3857745,0.1395738,0.3214682,0.1494505,0.0001367002],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006203102,0.0001256066,0.9880753,0.0001512018,0.00006394878,0.0002802566,0.00003474863,0.000867565,0.004198232],"genre_scores_gemma":[0.1389381,0.0004773559,0.8525269,0.0002087951,0.00004670258,0.0008715316,0.000284396,0.0002454847,0.006400671],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006015847,"threshold_uncertainty_score":0.03181523,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03620074138743369,"score_gpt":0.3815142251881272,"score_spread":0.3453134838006935,"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."}}