small updates

[martlubbers.net.git] / nl / thesis.md

diff --git a/nl/thesis.md b/nl/thesis.md
index abf763b..812e5c4 100644 (file)
--- a/nl/thesis.md
+++ b/nl/thesis.md
@@ -46,7 +46,7 @@ Door taken te combineren of te transformeren kunnen samenwerkingsvormen uitgedru
 Van deze beschrijving wordt een computersysteem gegenereerd dat gebruikers begeleidt in het uitvoeren van het werk.
 Randcomputers hebben ook baat bij TOP, al is niet eenvoudig om TOP-systemen erop in te zetten.
 
-Deze dissertatie laat zien hoe gehele IoT-systemen georkestreerd kunnen worden met {TOP}.
+Deze dissertatie laat zien hoe gehele IoT-systemen georkestreerd kunnen worden met TOP.
 Gebruik makend van techniek kunnen alle lagen van een IoT-systeem en hun samenwerking uitgedrukt worden in één hoog abstractieniveau, programmeertaal, paradigma en typesysteem.
 Allereerst laat ik enkele technieken zien om ingebedde domein-specifieke talen te maken.
 Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask.