Author Search Results :: UTM Library Massive Scholar Tracking

1

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets by S. A. Chernenok, V. A. Nepomniaschy

Published 2014-12-01

Get full text

Article
2

The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts by S. A. Chernenok, V. A. Nepomniaschy

Published 2018-10-01

Get full text

Article
3

Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

Published 2015-03-01

Get full text

Article
4

Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

Published 2012-01-01

Get full text

Article
5

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs by I. V. Maryasov, V. A. Nepomniaschy

Published 2015-12-01

Get full text

Article
6

C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Published 2010-09-01

Get full text

Article
7

Application of Coloured Petri Nets for Veriﬁcation of Scenario Control Structures in UCM Notation by N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko

Published 2016-12-01

Get full text

Article
8

Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets by D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy

Published 2011-12-01

Get full text

Article