Iskani niz je bil najden v IZTOČNICAH:
Formas
de
Forschungsrat für Umwelt, Agrarwissenschaften und Raumplanung
en
Research Council for Environment, Agricultural Sciences and Spatial Planning
sv
Formas
,
Forskningsrådet för miljö, areella näringar och samhällsbyggande
FORMAS
Information technology and data processing
da
formelle metoder for asynkrone systemer
de
Formale Methode für asynchrone Systeme
el
τυπικές μέθοδοι για ασύγχρονα συστήματα
en
Formal methods for asynchronous systems
es
FORMAS, el marco formal consiste en: una máquina de estados, basada en el dominio de Scott, para el modelo matemático, lógica de Hoare y lógica temporal para la corrección en análisis y concepción
,
métodos formales para sistemas asíncronos
fi
asynkronisten järjestelmien formaalit menetelmät(FORMAS)
fr
Méthodes formelles pour systèmes asynchrones
it
metodi formali per sistemi asincroni
nl
formele methoden voor asynchrone systemen
pt
métodos formais para sistemas assíncronos
sv
FORMAS