P. N. Devyanin

Available identifiers

zbMath Open devyanin.p-nMaRDI QIDQ5006742

List of research outcomes

Publication	Date of Publication	Type
The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB	2021-08-17	Paper
THE LEVEL OF NEGATIVE ROLES OF THE HIERARCHICAL REPRESENTATION OF MROSL DP-MODEL	2021-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q5150404	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5150409	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5150474	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5150515	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5150599	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5146733	2021-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5147379	2021-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5146101	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5146142	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5146143	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5146199	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5117028	2020-08-20	Paper

Research outcomes over time

This page was built for person: P. N. Devyanin