Formal methods | for

for abbr.
gen.	para; pues
UN	a efecto de; con el objetivo; con el propósito

| asynchronous

asynchronous abbr.
comp., MS	asincrónico
IT	asíncrono; no-síncrono
pwr.lines.	anisócrono

| systems

System abbr.
comp., MS	Sistema
system abbr.
comp., MS	sistema
earth.sc. mech.eng.	sistema termodinámico
health.	emergencias; sistema
IMF.	régimen; plan; sistema
IT	generación del sistema
math.	el sistema