Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

top-level specification

spécification générale

informatique et traitement des données - iate.europa.eu

▷

Formal models of a least privilege separation kernel in alloyAbstract: We describe the specification of the formal security policy model and formal top-level specification for the Least Privilege Separation Kernel (LPSK) in Alloy, a relatively new modeling language and analysis tool....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Formal models of a least privilege separation kernel in alloyWe describe the specification of the formal security policy model and formal top-level specification for the Least Privilege Separation Kernel (LPSK) in Alloy, a relatively new modelling language and analysis tool....

PDF: calhoun.nps.edu

spécification de très haut niveau

informatique et traitement des données - iate.europa.eu

Synonymes et termes associés anglais

TLS

•

general specification

•

Specification

•

specification

•

SPECIFICATION

•

descriptive memo

[...]

count of indictment

•

charge

•

specificatio

•

Exemples anglais - français

descriptive top-level specification

spécification générale descriptive

informatique et traitement des données - iate.europa.eu

spécification descriptive de très haut niveau

informatique et traitement des données - iate.europa.eu

Traductions en contexte anglais - français

Tutorial: A formal specification can be written at any level of detail but is usually a top-level specification.

Instructions : une spécification formelle peut être écrite à tout niveau de détail mais est usuellement une spécification de niveau supérieur.

général - CCMatrix (Wikipedia + CommonCrawl)

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод