A computer system for evaluating the realizability of algorithms of crew activity (Q1951874): Difference between revisions

@@ Property / author @@
+Alexander P. Abramov
@@ Property / author: Alexander P. Abramov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems
+Normal rank
@@ Property / cites work @@
+LoTA, a system for the analytical processing of technical texts: main concepts and design decisions
+Normal rank
@@ Property / cites work @@
+BORT computer system supporting the design of specifications of onboard intelligence
+Normal rank
@@ Property / cites work @@
+An efficiency estimate for specifications of algorithms of onboard intelligence of an anthropocentric object
+Normal rank
@@ Property / cites work @@
+Comparison and evaluation of the specifications of algorithms of onboard intelligence of an aircraft-fighter in a dual situation of a long-distance air fight
+Normal rank