Buchumschlag

Satisfiability For Symbolic Verification in VRS

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
Hauptverfasser:	A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2013
Schriftenreihe:	Control Systems and Computers
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000308390
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Deductive verification of requirements for event-driven architecture
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Problem of identity: massivization vrs. individualization
von: L. A. Usanova
Veröffentlicht: (2017)

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
von: Тимофеев, В.Г.
Veröffentlicht: (2012)

Groups satisfying certain rank conditions
von: M. R. Dixon, et al.
Veröffentlicht: (2016)

Groups satisfying certain rank conditions
von: Dixon, M.R., et al.
Veröffentlicht: (2016)

Reoptimization of 2-criteria satisfiability problem
von: V. O. Mykhailiuk, et al.
Veröffentlicht: (2018)

Groups satisfying certain rank conditions
von: Dixon, Martyn R., et al.
Veröffentlicht: (2016)

On generalized derivations satisfying certain identities
von: Albaş, E.
Veröffentlicht: (2011)

Symbolic enclaves and change of symbolic universums
von: A. Shulga
Veröffentlicht: (2015)

APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)

On associative algebras satisfying the identity x⁵=0
von: Shestakov, I., et al.
Veröffentlicht: (2004)

Symbolic enclaves and change of symbolic universums
von: O. Shulha
Veröffentlicht: (2015)

On associative algebras satisfying the identity \(x^5 = 0\)
von: Shestakov, Ivan, et al.
Veröffentlicht: (2018)

Практика створення в Україні інформаційно-вимірювальної GNSS-системи та мережної VRS-технології забезпечення геодезичних і кадастрових зйомок
von: Яцків, Я.С., et al.
Veröffentlicht: (2009)

The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
von: V. L. Makarov
Veröffentlicht: (2020)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

The Symbol of the swastika as the concentration values: sause inversion symbol
von: M. Yarkina
Veröffentlicht: (2013)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

Features of symbolism of political parties
von: A. V. Timoshevskij
Veröffentlicht: (2013)

Symbolic politics in Ukraine
von: K. V. Yevsieiev
Veröffentlicht: (2012)

Construction of solutions of the Laplace equation satisfying the no-slip condition on the segment of the sphere
von: Ya. Barniak
Veröffentlicht: (2013)

Virtual Reference Services as a Tool to Satisfy the Information Needs of Users
von: O. Postelzhuk
Veröffentlicht: (2015)

The structure of infinite dimensional linear groups satisfying certain finiteness conditions
von: Jose M. Munoz-Escolano, et al.
Veröffentlicht: (2009)

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

Structure and struggle of symbolic universums
von: A. Shulga
Veröffentlicht: (2014)

The logic of verification of knowledge in the arguments of neopositivism
von: L. H. Komakha
Veröffentlicht: (2015)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

The Poems of D. H. Lawrence: Death as Symbol, Symbol as the Death of Image?
von: E. Chernokova
Veröffentlicht: (2010)

Symbols of Faith or Symbols of Status? Christian Objects in Tenth-Century Rus´
von: Androshchuk, F.
Veröffentlicht: (2011)

Ukraine in Signs and Symbols
von: H. Bondarenko
Veröffentlicht: (2014)

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

The verification of constant preparation methodology for IMCORE code
von: Galchenko, V.V., et al.
Veröffentlicht: (2018)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

The Non-Deterministic Strategy of Rewriting
von: A. A. Letichevsky, et al.
Veröffentlicht: (2013)