Application on formal methods to the railway signalling system
The architecture of an information tool for de-mining: mine identification core module (MICM)
A general-purpose electronic warfare system test configuration data model
New initial basic probability assignments for multiple classifiers
Minimum data set development: air transport time-related terms
Embracing the systems approach to automotive diagnostics
Using specification-driven concepts for distributed data management and dissemination
A database architecture for reusable CommonKADS agent specification components
ES-Sim: electric scooter simulator with integrated database and customized user interface
Assessment of the NASA Space Shuttle Program's problem reporting and corrective action system
A synthetic vision application in integrated modular avionics architecture
US national mapping system growing, adjusting to security concerns
Navigation integrity monitoring and obstacle detection for enhanced vision systems