( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs.

, , , , , и . EWiLi, том 1464 из CEUR Workshop Proceedings, CEUR-WS.org, (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.

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

Andreas Lindner

 

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

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)Experimental Verification of a Passively Cooled Large Air-Gap 6/8-Flux-Switching Permanent Magnet Machine Including Manufacturing., и . IECON, стр. 508-513. IEEE, (2018)Proving Safety and Security of Binary Programs.. Royal Institute of Technology, Stockholm, Sweden, (2023)base-search.net (ftkthstockholm:oai:DiVA.org:kth-326719).Validation of Abstract Side-Channel Models for Computer Architectures., , , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 225-248. Springer, (2020)Safe tasks: Run time verification of the RTFM-lang model of computation., , и . ETFA, стр. 1-8. IEEE, (2016)BeWell: A Sentiment Aggregator for Proactive Community Management., , , и . CHI Extended Abstracts, стр. 1055-1060. ACM, (2015)Response time for IEC 61499 over Ethernet., , , , , и . INDIN, стр. 1206-1212. IEEE, (2015)Hoare-Style Logic for Unstructured Programs., , , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 193-213. Springer, (2020)Validation of Side-Channel Models via Observation Refinement., , , и . MICRO, стр. 578-591. ACM, (2021)