Gentzen and Temporal Sequents by Indrzejczak Andrzej

Subjects: Get full text

Completeness classes for intuitionistic first-order temporal logic with time gaps by Romas Alonderis

Subjects: Get full text

Approach on runtime monitoring based on the embedded trusted platforms by Zhao-chang SUN, Jian-feng MA, Cong SUN, Di LU

Subjects: Get full text

Research on industrial Internet security detection and response based on digital twin by MA Jiali, GUO Yuanbo, FANG Chen, CHEN Qingli, ZHANG Qi

Subjects: Get full text

Runtime verification approach for DoS attack detection in edge servers by Bin YU, Nan ZHANG, Xu LU, Zhenhua DUAN, Cong TIAN

Subjects: “…propositional projection temporal logic…”
Get full text

Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models by Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed Mohammed Alghamdi

Subjects: Get full text