{"id":"W2168015072","doi":"10.1109/ccece.2003.1226127","title":"Formal description of an ATM system by RTPA","year":2004,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Correctness; Dependability; Process (computing); Conceptual model; Finite-state machine; Abstract state machines; Set (abstract data type); Formal specification; Formal verification; Formal methods; Architecture; Model checking; Software engineering; Programming language","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.001457581,0.0009661093,0.0005677257,0.001168175,0.00105991,0.002730286,0.001646578,0.001226759,0.007634742],"category_scores_gemma":[0.00232639,0.000540523,0.001597816,0.001207117,0.002103918,0.003173509,0.001240026,0.002474355,0.002197914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001324862,"about_ca_system_score_gemma":0.002046001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004801552,"about_ca_topic_score_gemma":0.003275088,"domain_scores_codex":[0.9979978,0.0005269437,0.000221861,0.0002831671,0.000762013,0.0002081565],"domain_scores_gemma":[0.9988945,0.00042684,0.0001703317,0.0001461376,0.0003009483,0.00006137926],"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.00002174047,0.00003242043,0.0001333227,0.0001103832,0.00001675471,0.0004473177,0.0004218282,0.01904342,0.002424442,0.9642443,0.002527445,0.01057664],"study_design_scores_gemma":[0.0001017453,0.00009926331,0.0002161236,0.0001256964,0.00006130167,0.0009715526,0.0002102234,0.2023658,0.003828418,0.6254361,0.1665076,0.00007607124],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0065795,0.0009839351,0.9571497,0.0007264111,0.0002242688,0.0002549409,0.0008006826,0.001164482,0.03211609],"genre_scores_gemma":[0.3426667,0.002472442,0.6280671,0.0007550994,0.0005375168,0.001756602,0.001851776,0.0003715581,0.02152118],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007634742,"threshold_uncertainty_score":0.02554071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01463455490108785,"score_gpt":0.2128928132951764,"score_spread":0.1982582583940885,"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."}}