-
1
Multi-Agent Systems with Information Sharing: Strategies and Model Checking
Published 2025-04-01Subjects: Get full text
Article -
2
Deductive Verification of Telecommunication Systems Written in C
Published 2015-03-01Subjects: Get full text
Article -
3
-
4
-
5
Operational Semantics of Annotated Reflex Programs
Published 2019-12-01Subjects: “…operational semantics…”
Get full text
Article -
6
C Program Verication in the Multilanguage System Spectrum
Published 2010-12-01Subjects: Get full text
Article -
7
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Published 2013-12-01Subjects: Get full text
Article -
8
C-programs Verification on Basis of Mixed Axiomatic Semantics
Published 2010-09-01Subjects: Get full text
Article