FORMAL METHODS OF EXPERT ESTIMATIONS by Tea Ya. Danelyan

“…This article series discusses formal methods of expert assessments. Usingthe Delphi method helps to formalize theprocedures for the collection, compilationand analysis of the views of specialists inorder to convert them into a form most convenient for making an informed decision.…”
Get full text

Formal methods of estimating risks in trade by G. P. Fomin

Subjects: Get full text

Formalizes methods for analysing documental flows by N. S. Redkina

Get full text

A Formal Methods Approach for Release Evaluation by Ebru Aydın Göl

Subjects: “…formal methods…”
Get full text

The ergatic system personal factor formalizing method by B. I. Bachkalo, V. I. Zolotykh

“…This tool is called the “The ergatic system personality factor formalizing method". The obtained method allows us to develop a methodology for assessing the influence of the operator’s personality factor which is applicable to any ergatic system, including the system of “crew – aircraft”.…”
Get full text

FORMAL METHODS OF SUPPORT OF REORGANIZATION OF BUSINESS PROJECTS by Georgy N. Kalyanov

Get full text

A Formal Method for Conceptual Fit Analysis by Antoni Olivé

Get full text

Application of Formal Methods in Power Grid Cyber Physical Systems by Li HUANG, Yun LIANG, Hui HUANG, Ruohan ZHAO

Subjects: Get full text

Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems by Vinitha Hannah Subburaj, Joseph E. Urban

Get full text

A formal method to detect possible P4 specific errors by Gabriella Tóth, Máté Tejfel

Get full text

DATA ANALYSIS BY FORMAL METHODS OF ESTIMATION OF INDEXES OF RATING CRITERION IN PROCESS OF ACCUMULATION OF DATA ABOUT WORKING OF THE TEACHING STAFF by Alexey E. Fedoseev

Subjects: Get full text

Researches on role-based middleware in wireless sensor networks by LUO Juan, GU Chuan-li, LI Ren-fa

Subjects: Get full text

TR‐AKA: A two‐phased, registered authentication and key agreement protocol for 5G mobile networks by Yibing Liu, Lijun Huo, Gang Zhou

Subjects: Get full text

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root by Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez

Subjects: “…formal methods…”
Get full text

DevFemOps: enhancing maintainability based on microservices using formal engineering methods by Tetsuo Fukuzaki, Shaoying Liu, Michael Butler

Subjects: “…formal methods…”
Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

Subjects: Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

Subjects: “…access control;trust negotiation;formal methods;computational complexity;security…”
Get full text

Formal Research Methods in Political Science and Comparative Politics: The Prospects of MGIMO-University Political Science School by Ivan Nikolaevich Timofeyev

Subjects: “…formal methods…”
Get full text

Ensuring Semantic Consistency in SysML v2 Models Through Metamodel-Driven Validation by Eduardo Cibrian, Jose Olivert-Iserte, Carlos Diez-Fenoy, Roy Mendieta, Juan Llorens, Jose Maria Alvarez-Rodriguez

Subjects: “…Formal methods…”
Get full text

Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft Systems by Dong Yang, Wei Dong, Wei Lu, Sirui Liu, Yanqi Dong

Subjects: Get full text