formalized
formalized, Total:9 items.
The international standard classification for "formalized" includes: Languages used in information technology .
The Chinese standard classification for "formalized" includes: Program language .
Group Standards of the People's Republic of China
- T/CIE 095-2020 Formal expression of blockchain smart contract
SCC
- VDI/VDE 3682-2005 Formalized process descriptions
- CAN/CSA-CEI/IEC 1160-96:1996 Formalized design review
- VDI/VDE 3682-2005 Formalized process descriptions
- VDI/VDE 3682 BLATT 2-2015 Formalized process descriptions — information model
VDI - Verein Deutscher Ingenieure
- VDI/VDE 3682-2003 Formalisierte Prozessbeschreibungen
- VDI/VDE 3682 Blatt 2-2014 Formalisierte Prozessbeschreibung - Informationsmodell
- VDI 4001 Blatt 3-2014 Formalisierte Begriffsmodellierung der Zuverlaessigkeit
National Aeronautics and Space Administration (NASA)
- NASA-STD-2202-93-1993 SOFTWARE FORMAL INSPECTIONS STANDARD
