{"id":"W2108013453","doi":"10.1109/ccece.1995.526285","title":"Timing diagrams: semantics and passage towards an intermediate model","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Semantics (computer science); Decidability; Programming language; Formal semantics (linguistics); Model checking; Diagram; Theoretical computer science; Database","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.003859754,0.001142526,0.0007691383,0.002143205,0.001283979,0.005902957,0.00176519,0.002099275,0.003794088],"category_scores_gemma":[0.009000923,0.0008498766,0.00182853,0.001450316,0.004103348,0.008057417,0.002654351,0.003921784,0.001491162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001696554,"about_ca_system_score_gemma":0.001682473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001789214,"about_ca_topic_score_gemma":0.001180982,"domain_scores_codex":[0.9965419,0.001196582,0.0003811878,0.0005155564,0.001075508,0.0002892011],"domain_scores_gemma":[0.9960228,0.002217004,0.0004458116,0.0005405176,0.0005560812,0.0002177585],"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.00003162888,0.00001193699,0.00009509268,0.00006697475,0.000009478733,0.00012199,0.0005429502,0.003834169,0.001705916,0.9867182,0.0002807522,0.006580875],"study_design_scores_gemma":[0.00003659435,0.00004534249,0.00007295661,0.0001119158,0.00003010821,0.0001474771,0.0001918519,0.01620261,0.005102865,0.9415178,0.03651023,0.00003032156],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003979329,0.0003220431,0.9902091,0.0002094238,0.00006715064,0.00005700843,0.0001081516,0.0004261243,0.004621695],"genre_scores_gemma":[0.2050823,0.00172019,0.7838047,0.0001924748,0.000127598,0.0005030508,0.0009369401,0.0007025399,0.006930141],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005902957,"threshold_uncertainty_score":0.02041262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08767287888877545,"score_gpt":0.3083987496952912,"score_spread":0.2207258708065158,"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."}}