formal top-level specification (FTLS)
All > Technology > Telecommunications
- A Top-Level Specification that is written in a formal mathematical language to allow theorems showing correspondence of the system specification to its formal requirements to be hypothesized and formally proven [TCSEC].
ATIS - Cite This Source - This Definition - array, cyber, descriptive top-level specification (DTLS), identifier (ID), label, narrative traffic