Return to Issue Details Formal approach to modeling of modern information systems Download Download PDF