FTLS
Formal Top Level Specification
Definition
FTLS (Formal Top Level Specification) ist eine formale Spezifikation auf höchster Abstraktionsebene, die die Sicherheitsanforderungen eines Systems mathematisch präzise beschreibt.
IT/Elektro
Formal Top Level Specification
FTLS (Formal Top Level Specification) ist eine formale Spezifikation auf höchster Abstraktionsebene, die die Sicherheitsanforderungen eines Systems mathematisch präzise beschreibt.