Top

Cybernetics and Systems Analysis

Published in:

01-01-2014

Program Verification: State of the Art, Problems, and Results. II¹

Authors: S. L. Kryvyi, O. M. Maksymets

Published in: Cybernetics and Systems Analysis | Issue 1/2014

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article A Method for Modeling the Structure of Initial Data and Subclasses of Solvable Combinatorial Optimization Problems

next article Robust Neuroevolutionary Identification of Nonlinear Nonstationary Objects

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: Program Verification: State of the Art, Problems, and Results. II1
Authors: S. L. Kryvyi
O. M. Maksymets
Publication date: 01-01-2014
Publisher: Springer US
Published in: Cybernetics and Systems Analysis / Issue 1/2014
Print ISSN: 1060-0396
Electronic ISSN: 1573-8337
DOI: https://doi.org/10.1007/s10559-014-9588-6

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Other articles of this Issue 1/2014

The Software to Analyze the States of Complex Systems under Uncertainty based on Fuzzy Belief Network Models

Optimal Control of the Parabolic System and Identification of Its Parameters for the Known Heat Flows

On a Homomorphism of a Component Petri Net

Information-Extreme Learning Algorithm for a System of Recognition of Morphological Images in Diagnosing Oncological Pathologies

DNA Secondary Structure Prediction by Fuzzy Logic Inference Systems

Fractional Differential Mathematical Models of the Dynamics of Nonequilibrium Geomigration Processes and Problems with Nonlocal Boundary Conditions

Premium Partner