( en | de | ru )

 

Disambiguation of "Lindner, Marcus"

Author of the publication

copydeleteadd this publication to your clipboard
Well-formed control flow for critical sections in RTFM-core.

, , , , and . INDIN, page 1438-1445. IEEE, (2015)

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

A real-time semantics for the IEC 61499 standard., , , , , and . ETFA, page 1-6. 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.Well-formed control flow for critical sections in RTFM-core., , , , and . INDIN, page 1438-1445. IEEE, (2015)Contract based verification of IEC 61499., , , and . INDIN, page 132-141. IEEE, (2016)Safe tasks: Run time verification of the RTFM-lang model of computation., , and . ETFA, page 1-8. IEEE, (2016)Introducing Certified Compilation in Education by a Functional Language Approach., , and . TFPIE@TFP, volume 295 of EPTCS, page 65-78. (2018)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).Abstract timers and their implementation onto the ARM Cortex-M family of MCUs., , , , , and . SIGBED Review, 13 (1): 48-53 (2016)