Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems

zbMath1066.68554MaRDI QIDQ2488167

B. E. Fedunov

Publication date: 24 August 2005

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (5)

Basic algorithmic shell of onboard real-time advisory expert systems for operation situations typical for an object ⋮ A computer system for evaluating the realizability of algorithms of crew activity ⋮ Optimal instants for missile launching missiles and application of jamming in a duel situation of fighters ⋮ An algorithm of an aircraft turn executed with maximum angular velocity ⋮ Basic onboard real-time advisory system for a duel situation of distant air fight

This page was built for publication: Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems