Zum Inhalt springen

Anureev, I. I. [Herausgeber:in]; Galkin, M. I. [Sonstige Person, Familie und Körperschaft]

Wissenschaftlich-technischer Fortschritt und Revolution im Militärwesen - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Militärverlag der Dt. Demokrat. Republik, VEB, 1975
Anureev, I. S.

Operational Semantics of Annotated Reflex Programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2020

Erschienen in: Automatic Control and Computer Sciences, 54 (2020) 7, Seite 719-727
Anureev, I. S.

Deductive Verification of Telecommunication Systems Written in C

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

P.G. Demidov Yaroslavl State University, 2015

Erschienen in: Modeling and Analysis of Information Systems, 19 (2015) 6, Seite 34-44
Anureev, I. S.

Deductive verification of telecommunication systems written in C

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2013

Erschienen in: Automatic Control and Computer Sciences, 47 (2013) 7, Seite 413-419
Anureev, I. S.

Typical examples of using the atoment language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2012

Erschienen in: Automatic Control and Computer Sciences, 46 (2012) 7, Seite 299-307
I. S. Anureev

Typical Examples of Atoment Language Using

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2011

Erschienen in: Моделирование и анализ информационных систем, 18 (2011) 4, Seite 7-20
Anureev, I. S.

Operational ontological approach to formal programming language specification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Pleiades Publishing Ltd, 2009

Erschienen in: Programming and Computer Software, 35 (2009) 1, Seite 35-42
Atuchin, M. M.; Anureev, I. S.

Attribute annotations and their use in C program deductive verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2012

Erschienen in: Automatic Control and Computer Sciences, 46 (2012) 7, Seite 308-316
M. M. Atuchin; I. S. Anureev

Attribute Annotations and Their Use in C Program Deductive Verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2011

Erschienen in: Моделирование и анализ информационных систем, 18 (2011) 4, Seite 21-33
Garanina, N. O.; Anureev, I. S.; Borovikova, O. I.

Verification-Oriented Process Ontology

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2019

Erschienen in: Automatic Control and Computer Sciences, 53 (2019) 7, Seite 584-594
Anureev, I. S.; Maryasov, I. V.; Nepomniaschy, V. A.

C-programs verification based on mixed axiomatic semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2011

Erschienen in: Automatic Control and Computer Sciences, 45 (2011) 7, Seite 485-500
I. S. Anureev; I. V. Maryasov; V. A. Nepomniaschy

C-programs Verification on Basis of Mixed Axiomatic Semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2010

Erschienen in: Моделирование и анализ информационных систем, 17 (2010) 3, Seite 5-28
Garanina, Natalia O.; Anureev, Igor S.; Borovikova, Olesya I.

Verification Oriented Process Ontology

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

P.G. Demidov Yaroslavl State University, 2018

Erschienen in: Modeling and Analysis of Information Systems, 25 (2018) 6, Seite 607-622
Garanina, N. O.; Sidorova, E. A.; Anureev, I. S.

Conflict resolution in multi-agent systems with typed relations for ontology population

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Pleiades Publishing Ltd, 2016

Erschienen in: Programming and Computer Software, 42 (2016) 4, Seite 206-215
Shilov, N. V.; Anureev, I. S.; Bodin, E. V.

Generation of correctness conditions for imperative programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Pleiades Publishing Ltd, 2008

Erschienen in: Programming and Computer Software, 34 (2008) 6, Seite 307-321
Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V.

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2003

Erschienen in: Programming and Computer Software, 29 (2003) 6, Seite 338-350
Garanina, N. O.; Anureev, I. S.; Borovikova, O. I.; Zyubin, V. E.

Methods for Domain Specialization of Verification-Oriented Process Ontologies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2020

Erschienen in: Automatic Control and Computer Sciences, 54 (2020) 7, Seite 740-751
Nepomniaschy, V. A.; Anureev, I. S.; Dubranovskii, I. V.; Promsky, A. V.

Towards verification of C# programs: A three-level approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Pleiades Publishing Ltd, 2006

Erschienen in: Programming and Computer Software, 32 (2006) 4, Seite 190-202
Garanina, Natalia O.; Anureev, Igor S.; Borovikova, Olesya I.; Zyubin, Vladimir E.

Methods for Domain Specification of Verification-Oriented Process Ontology

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

P.G. Demidov Yaroslavl State University, 2019

Erschienen in: Modeling and Analysis of Information Systems, 26 (2019) 4, Seite 534-549
Shilov, N. V.; Kondratyev, D. A.; Anureev, I. S.; Bodin, E. V.; Promsky, A. V.

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Allerton Press, 2019

Erschienen in: Automatic Control and Computer Sciences, 53 (2019) 7, Seite 595-616

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr