( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hardware-in-the-loop based WCET analysis with KLEE.

, , , , и . ETFA, стр. 345-352. IEEE, (2018)

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.

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)
 

Другие публикации лиц с тем же именем

Well-formed control flow for critical sections in RTFM-core., , , , и . INDIN, стр. 1438-1445. IEEE, (2015)A real-time semantics for the IEC 61499 standard., , , , , и . ETFA, стр. 1-6. IEEE, (2015)A Formal Perspective on IEC 61499 Execution Control Chart Semantics., , , и . TrustCom/BigDataSE/ISPA (3), стр. 293-300. IEEE, (2015)978-1-4673-7952-6.Contract based verification of IEC 61499., , , и . INDIN, стр. 132-141. IEEE, (2016)Safe tasks: Run time verification of the RTFM-lang model of computation., , и . ETFA, стр. 1-8. IEEE, (2016)Object Recognition Using Summed Features Classifier., , и . ICAISC (1), том 7267 из Lecture Notes in Computer Science, стр. 543-550. Springer, (2012)!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).Hardware-in-the-loop based WCET analysis with KLEE., , , , и . ETFA, стр. 345-352. IEEE, (2018)Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust., , и . INDIN, стр. 87-94. IEEE, (2018)Response time for IEC 61499 over Ethernet., , , , , и . INDIN, стр. 1206-1212. IEEE, (2015)