( en | de | ru )

 

Disambiguation of "Lindner, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Contract based verification of IEC 61499.

, , , and . INDIN, page 132-141. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcus Lindner

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Marcus Wenzelides

Entwicklung einer Methode zur Erfassung des Potenzials und des Verbrauchs von Dendromasse am Beispiel des Bundeslandes Nordrhein-Westfalen. Uni Münster, (2009)

Marcus Kreutz

Soziale Dienstleistungen durch gemeinnützige Einrichtungen der freien Wohlfahrtspflege als Förderung der Kultur und Erhaltung des kulturellen Erbes nach dem Vertrag zur Gründung der Europäischen Gemeinschaft. Uni Bochum, (2009)

Marcus Grobe

Ein Ansatz zur Stabilitätsuntersuchung von Systemen mit nicht konstanter Abtastung. TU Braunschweig, (2009)
 

Other publications of authors with the same name

Contract based verification of IEC 61499., , , and . INDIN, page 132-141. IEEE, (2016)A real-time semantics for the IEC 61499 standard., , , , , and . ETFA, page 1-6. IEEE, (2015)Well-formed control flow for critical sections in RTFM-core., , , , and . INDIN, page 1438-1445. IEEE, (2015)A Formal Perspective on IEC 61499 Execution Control Chart Semantics., , , and . TrustCom/BigDataSE/ISPA (3), page 293-300. IEEE, (2015)978-1-4673-7952-6.Introducing Certified Compilation in Education by a Functional Language Approach., , and . TFPIE@TFP, volume 295 of EPTCS, page 65-78. (2018)Safe tasks: Run time verification of the RTFM-lang model of computation., , and . ETFA, page 1-8. IEEE, (2016)Object Recognition Using Summed Features Classifier., , and . ICAISC (1), volume 7267 of Lecture Notes in Computer Science, page 543-550. Springer, (2012)RTFM-core: course in compiler construction., , and . SIGBED Rev., 14 (1): 29-36 (2016)!secure(system) !safe(system): On Security and Safety of Industrial Software Systems.. Luleå University of Technology, Sweden, (2019)base-search.net (ftluleatu:oai:DiVA.org:ltu-73059).Response time for IEC 61499 over Ethernet., , , , , and . INDIN, page 1206-1212. IEEE, (2015)