@prefix schema: .
@prefix void: .
@prefix library: .
@prefix dct: .
@prefix madsrdf: .
@prefix rdf: .
@prefix discovery: .
@prefix bgn: .
@prefix pto: .
@prefix dc: .
a schema:Topic ;
schema:name "Softwaresystem" , "Softwaresystem." .
a schema:Topic ;
schema:name "Formale Methode" , "Formale Methode." .
a schema:Thing ;
schema:name "Preusse, Sebastian" .
void:inDataset ;
schema:about .
a schema:Topic ;
schema:name "Spezifikationstechnik" , "Spezifikationstechnik." .
a schema:Topic ;
schema:name "Software-in-the-loop" , "Software-in-the-loop." .
a schema:Topic ;
schema:name "Fertigungsanlage" , "Fertigungsanlage." .
a schema:Topic ;
schema:name "Hardware-in-the-loop" , "Hardware-in-the-loop." .
a schema:Topic ;
schema:name "Speicherprogrammierte Steuerung" , "Speicherprogrammierte Steuerung." .
a schema:Topic ;
schema:name "Regelungssystem" , "Regelungssystem." .
a schema:Topic ;
schema:name "Verifikation" , "Verifikation." .
a pto:Thesis , schema:CreativeWork ;
schema:about , , , , , , , , ;
schema:author ;
schema:contributor ;
schema:creator ;
schema:name "Technologies for engineering manufacturing systems control in closed loop" , "Technologies for Engineering Manufacturing Systems Control in Closed Loop" , "Technologies for Engineering Manufacturing Systems Control in Closed Loop"@en ;
schema:workExample , , .