ITHEA Classification Structure > D. Software > D.2 SOFTWARE ENGINEERING > D.2.4 Software/Program Verification
SYSTEM OF PROGRAMS PROVING
By: Alexander Letichevsky et al. (3444 reads)
Rating:
(1.00/10)
article:
PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ...
· ПРЯМАЯ ЗАДАЧА СИНТЕЗА АДАПТИВНЫХ ЛОГИЧЕСКИХ СЕТЕЙ
· Program Invariants Generation over Polynomial Ring using Iterative Methods.
· SYSTEM OF PROGRAMS PROVING
· МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДА�
· EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS
· EXTENDED ALGORITHM FOR TRANSLATION OF MSC-DIAGRAMS INTO PETRI NETS
·
|
Login World Clock |