formele methoden voor asynchrone systemen

Betekenis formele methoden voor asynchrone systemen

De betekenis van formele methoden voor asynchrone systemen is: "Esprit project dat moet resulteren in een formeel kader en een geschikte verzameling gereedschappen voor de ontwikkeling van asynchrone ingebedde micro-systemen en verspreide systemen
".

Defenitie formele methoden voor asynchrone systemen

De definitie van formele methoden voor asynchrone systemen is: "Esprit project dat moet resulteren in een formeel kader en een geschikte verzameling gereedschappen voor de ontwikkeling van asynchrone ingebedde micro-systemen en verspreide systemen
".