نتائج البحث

Towards a theory of natural directed paths

• Authors : Gaucher, Philippe;

Subjects: precubical set; directed path; presheaf

• Source: https://hal.science/hal-04118042 ; 2024.

تفاصيل العنوان

Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems'

• Authors : Das, Susmoy; Sharma, Arpit; Das, Susmoy

Subjects: Markov chain; Verification; Logic

تفاصيل العنوان

Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Stochastic Systems'

• Authors : Das, Susmoy; Sharma, Arpit; Das, Susmoy

Subjects: Markov chain; Verification; Logic

تفاصيل العنوان

Decomposing monolithic processes in a process algebra with multi-actions

• Authors : Laveaux, Maurice; Willemse, Tim A.C.

Subjects: Bisimulation; Decomposition; Monolithic processes

• Source: Laveaux , M & Willemse , T A C 2023 , ' Decomposing monolithic processes in a process algebra with multi-actions ' , Journal of Logical and Algebraic Methods in

تفاصيل العنوان

Process and Time

• Authors : William Sulis

Subjects: time; duration; object

• Source: Entropy; Volume 25; Issue 5; Pages: 803

تفاصيل العنوان

Detecting Data Anomalies from Their Formal Specifications: A Case Study in IoT Systems

• Authors : Benjamin Aziz

Subjects: data analysis; data anomalies; formal specifications

• Source: Electronics; Volume 12; Issue 3; Pages: 630

تفاصيل العنوان

A KPN based Model for Describing and Verifying the Interaction of Web Services

• Authors : Bao, Li; Hao, Le

Subjects: Web Service; Service Composition; Service Interaction

• Source: Electronics Science Technology and Application; Vol 10, No 2 (In publishing) ; 2424-8460 ; 2251-2608

تفاصيل العنوان

Detecting Data Anomalies from Their Formal Specifications: A Case Study in IoT Systems

• Authors : Benjamin Aziz

Subjects: data analysis; data anomalies; formal specifications

• Source: Electronics, Vol 12, Iss 3, p 630 (2023)

تفاصيل العنوان

Process and Time

• Authors : William Sulis

Subjects: time; duration; object

• Source: Entropy, Vol 25, Iss 5, p 803 (2023)

تفاصيل العنوان

Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra

• Authors : Huailin Li; Qinsen Liu; Mengnan Liu

Subjects: Reconfigurable manufacturing system; robust control; process algebra

• Source: IEEE Access, Vol 11, Pp 42473-42484 (2023)

تفاصيل العنوان