{"id":"W2543686433","doi":"10.1109/eurmic.1997.617271","title":"Formal specification applied to industrial LAN's design","year":2002,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Shandong Academy of Sciences; University of Ottawa","keywords":"Profibus; Computer science; Field (mathematics); Formal specification; Field bus; Communications protocol; Protocol (science); Specification language; Embedded system; Layer (electronics); Formal description; Programming language; Computer network; Engineering; Control system","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.004063806,0.0007851383,0.0004377507,0.0008649947,0.0006409077,0.002266034,0.001396527,0.0008477754,0.004729529],"category_scores_gemma":[0.007111395,0.0004936255,0.0009896547,0.0008476978,0.002256962,0.001843499,0.001219199,0.00177499,0.001337318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001556004,"about_ca_system_score_gemma":0.002339036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002900418,"about_ca_topic_score_gemma":0.001838224,"domain_scores_codex":[0.9959199,0.001835694,0.000413974,0.000329397,0.001294645,0.0002062504],"domain_scores_gemma":[0.9968388,0.00164441,0.0002083513,0.0005405247,0.0007159149,0.00005198847],"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.00003045594,0.00003324606,0.0001982026,0.0003743647,0.00002469196,0.0002396254,0.0006707302,0.03452446,0.003916813,0.9019481,0.002657531,0.05538185],"study_design_scores_gemma":[0.00008216133,0.0001143526,0.000157249,0.0004064592,0.00005842329,0.0004235521,0.0002668589,0.2128503,0.01444375,0.5953744,0.1757689,0.000053567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001135115,0.0001635733,0.9940624,0.0001535058,0.00005242133,0.0000561576,0.00004623797,0.0004116004,0.003919089],"genre_scores_gemma":[0.1284867,0.0009911078,0.8605394,0.0002781157,0.000092671,0.0006258601,0.0004940441,0.0003625322,0.008129618],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004729529,"threshold_uncertainty_score":0.02149171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1529280523163398,"score_gpt":0.2500601202885228,"score_spread":0.09713206797218299,"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."}}