Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseтез орадаЭкотизим учун очиқ API
Лотин
Ўзбек

Formal Methods in Verification

13 та иш

  1. Synthesis of Optimal Correction Functions in the Class of Disjunctive Normal Forms

    Anvar Kabulov, Abdussattar Baizhumanov, Islambek Saymanov

    МақолаMathematical Control Systems and AnalysisMathematics202412 иқтибос
    ABI

  2. Principle of Independence of Continuation of Functions Multivalued Logic from Coding

    Ibrokhimali Normatov

    МақолаFormal Methods in VerificationJournal of Physics Conference Series20195 иқтибос
    ABI

  3. The Dual Characterization of Structured and Skewed Structured Singular Values

    Mutti-Ur Rehman, Jehad Alzabut, Taqwa Ateeq +2

    МақолаFormal Methods in VerificationMathematics20223 иқтибос
    ABI

  4. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    МақолаComputability, Logic, AI Algorithms20241 иқтибос
    ABI

  5. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace20000 иқтибос
    ABI

  6. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

    P. Camurati, C. Loiacono, Paolo Pasini +2

    МақолаFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 иқтибос
    ABI

  7. Universal Linear Data Structure

    Rustam Kabulov Vosilovich

    МақолаFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 иқтибос
    ABI

  8. Synthesis of built-in control circuits for combinational digital devices based on Boolean signals correction using polynomial codes

    Д.В. Ефанов, A. A. Grachev, D.V. Pivovarov +2

    МақолаMathematical Control Systems and AnalysisTransport automation research20240 иқтибос
    ABI

  9. Synthesis of Self-Checking Circuits for Train Route Traffic Control at Intermediate Stations with Control of Calculations Based on Weight-Based Sum Codes

    Д.В. Ефанов, Artyom Valeryevich Pashukov, Evgenii M. Mikhailiuta +8

    МақолаMathematical Control Systems and AnalysisComputation20240 иқтибос
    ABI

  10. Tabular method for minimization of three-variable logical functions

    Javlon Kholmatov

    МақолаMachine Learning and AlgorithmsAIP conference proceedings20240 иқтибос
    ABI

  11. Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions

    Д.В. Ефанов

    МақолаMathematical Control Systems and AnalysisTransport automation research20250 иқтибос
    ABI

  12. Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions

    Anvar Kabulov, Alimdzhan Babadzhanov, Abdussattar Baizhumanov +2

    МақолаPolynomial and algebraic computationMathematics20260 иқтибос
    ABI

  13. Analysis of blow-up situation in finite automata

    Siddhartha Chatterjee, Ritwika Ghosh, Aparijita Das +2

    МақолаFormal Methods in VerificationInternational Journal of Applied Resilience and Sustainability20260 иқтибос
    ABI