Formalized Methods of Managing Enterprise Political Risk by G. O. Reshetnikov

Get full text

Towards Sophisticated Air Traffic Control System Using Formal Methods by Abdessamad Jarrar, Youssef Balouki

“…In such a critical safety system, the use of robust formal methods that assure bugs absence is highly required. …”
Get full text

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods by Eduardo Valente, Camelia Avram, José Machado, Adina Astilean

Get full text

Theoretical problems of component-based structural synthesis by Vaidas Giedrimas, Audronė Lupeikienė

Subjects: Get full text

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

“…As such, formal methods provide a novel way to model traffic rules and verify road users' compliance. …”
Get full text

Teologia wśród nauk formalnych. Uwagi polemiczne do artykułu Krzysztofa Jaworskiego by Łukasz Remisiewicz

“…The author also addresses Jaworski’s objections and points to the need for a more precise definition of his earlier position, emphasizing the importance of formal methods and rules of text transformation in theology.…”
Get full text

The Comparison of Tree-Sibling Time Consistent Phylogenetic Networks Is Graph Isomorphism-Complete by Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente

Get full text

RAM-MEN: Robust authentication mechanism for IoT-enabled edge networks by Muhammad Tanveer, Saud Alhajaj Aldossari

“…The security of the session is rigorously evaluated using formal methods, including Scyther and the random or real model, alongside informal approaches. …”
Get full text

Ontologies in bioinformatics and systems biology by N. L. Podkolodnyy, O. A. Podkolodnaya

“…Further formalization and ontological accumulation of knowledge and the use of formal methods of analysis can take the entire cycle of research in systems biology to a new technological level.…”
Get full text

THE FORMATION OF THE BUDGET OF THE TV COMPANY METHOD OF VALUATION OF COST OF PRODUCTION by M. Nemirovskaya, A. Uvarova

“…The necessity of applying formalized methods of evaluating labor and resource intensity of production of television programmes of various kinds. …”
Get full text

Formalization of Methods in Criminalistics by L. P. Grynko

“…Accordingly, the purpose of this article is to clarify the methods used to detect and investigate crimes and the possibilities of their formalization in criminalistics. Formalization methods in criminalistics have been considered. …”
Get full text

Verification of serialising instructions for security against transient execution attacks by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

“…The authors provide a formal method solution that addresses the verification of lfence hardware implementation. …”
Get full text

Novel Web Service Selection Model Based on Discrete Group Search by Jie Zhai, Zhiqing Shao, Yi Guo, Haiteng Zhang

“…In our earlier work, we present a novel formal method for the semiautomatic verification of specifications and for describing web service composition components by using abstract concepts. …”
Get full text

Structural levels of the national economic system: management aspect by G. N. Ryazanova, P. S. Tolkachev

“…The analysis has been carried out using general scientific methods: the method of abstraction, historical research methods; formalization method, reconstruction method; based on a systematic approach using the method of forecasting.…”
Get full text