, Figure 1. NG2+ glia are in close contact with blood vessels.

. Array, iter (fun x -> pin_mode x OUTPUT) leds

. Serial and . Write_string, an=

, LiquidCrystal, Arduino? Sketches, pp.191-206, 2015.

, LiquidCrystal, Arduino? Sketches, pp.191-206, 2015.

G. W. Lyon, Let him Split EM, Journal of Education, vol.130, issue.6, pp.206-206, 1947.

. Liquidcrystal, LiquidCrystal, Arduino? Sketches, pp.191-206, 2015.

. Liquidcrystal, Bowker to Publish Second Edition of String Music in Print, American String Teacher, vol.22, issue.4, pp.15-15, 1972.

, LiquidCrystal, Arduino? Sketches, vol.0, pp.191-206, 2015.

. Liquidcrystal, LiquidCrystal, Arduino? Sketches, pp.191-206, 2015.

. Liquidcrystal, The D ? ? ? saddle-point spectrum analysis of the open bosonic Polyakov string in RD × SO(N) ?The QCD(SU(?)) string, Lecture Notes in Topics in Path Integrals and String Representations, pp.109-116, 2017.

, 2. AVR®-Programmierung unter AVR-GCC, AVR - Mikrocontroller, pp.40-79, 2015.

. List, Button head screws

. List, red-green-blue

. List, iter (fun x -> pin_mode x OUTPUT) [cs;dc

, Pycreus flavescens ssp. tanaensis: IUCN SSC East African Plants Red List Authority, IUCN SSC East African Plants Red List Authority, IUCN SSC East African Plants Red List Authority, IUCN SSC East African Plants Red List Authority, List.iter init_led, 2012.

, R(5). Les conventions préventives de la double imposition et l'utilisation des sociétés écran, 2013.

. Spi and . Begin_spi~sck, DPI / PPI / LPI / SPI, The Visual Dictionary of Pre-Press & Production, pp.79-79, 2010.

. Oled and . Boot~cs,

E. B. Borelli, Do porto ao pré-sal: sustentabilidade urbana na baixada santista / Port to pre-salt: urban sustainability in santista baixada, Revista de Direito da Cidade, vol.6, issue.2, 2014.

, Don't let the Big Apple rot, New Scientist, vol.216, issue.2890, p.3, 2012.

U. Mittwoch, Changes in the direction of the lateral growth gradient in human development?left to right and right to left, Behavioral and Brain Sciences, vol.1, issue.2, pp.306-307, 1978.

, Lock, (Cecil) Max, (29 June 1909?2 April 1988), Head of Max Lock Group, 2007.

, Apple

, WHEN DOG EATS DOG, The Lancet, vol.238, issue.6160, p.345, 1941.

N. Drake, Life: The lion eats tonight?, Science News, vol.180, issue.4, pp.10-10, 2011.

N. Drake, Life: The lion eats tonight?, Science News, vol.180, issue.4, pp.10-10, 2011.

C. Bégin, America Eats, tail = merge eats, 2017.

W. S. Araujo and R. D. Daud, Insights on plant mite occurrence in natural vegetation remnants from Brazil <br /><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="267"> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="0" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="0" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" Priority="39" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" Name="toc 9"/> <w:LsdException Locked="false" QFormat="true" Name="annotation text"/> <w:LsdException Locked="false" Priority="0" QFormat="true" Name="caption"/> <w:LsdException Locked="false" QFormat="true" Name="annotation reference"/> <w:LsdException Locked="false" Priority="0" Name="List"/> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" Priority="0" Name="Body Text"/> <w:LsdException Locked="false" Priority="0" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" QFormat="true" Name="FollowedHyperlink"/> <w:LsdException Locked="false" Priority="22" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" QFormat="true" Name="Normal (Web)"/> <w:LsdException Locked="false" QFormat="true" Name="annotation subject"/> <w:LsdException Locked="false" QFormat="true" Name="Balloon Text"/> <w:LsdException Locked="false" Priority="59" SemiHidden="false" UnhideWhenUsed="false" Name="Table Grid"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> <w:LsdException Locked="false" Priority="34" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" SemiHidden="false" UnhideWhenUsed="false" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" SemiHidden="false" UnhideWhenUsed="false" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" SemiHidden="false" UnhideWhenUsed="false" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" SemiHidden="false" UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" SemiHidden="false" UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" SemiHidden="false" UnhideWhenUsed="false" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" SemiHidden="false" UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" SemiHidden="false" UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> </w:LatentStyles></xml><![endif]--><!--[if gte mso 10]><style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabela normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; line-height:115%; mso-pagination:widow-orphan; font-size:10.0pt; mso-bidi-font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-fareast-language:EN-US;}</style><![endif]-->, Systematic and Applied Acarology, vol.22, issue.2, p.302, 2017.

J. Button, 152. Joseph Button1 to Defoe. [c. 25 December] 1710, The Letters of Daniel Defoe, pp.305-305, 1956.

, Ukraine: The Authorities' Inaction Emboldens Rising Violence by The Far-Right

H. L. Crane, The Effect of Height of Head on Young Apple Tree Growth and Yield, 1928.

. Oled, When Young Writers Draw Their Voices: Creating Hybrid Comic Memoirs with The Absolutely True Diary of a Part-Time Indian, Graphic Novels for Children and Young Adults, 2017.

F. P. De-la-varenne, La maniere de faire de la doreure des Pastissiers pour donner couleur à la pastisserie, Le Pastissier François, pp.12-13, 1648.

, Bool, G.M., Oled.draw x' y' false = Avr.digital_read Arduboy.button_right in 54 (max_size,bool_of_level l,bool_of_level r, vol.64, p.55, 2011.

*. , Fonction de sortie de chaque instant synchrone **) 57 let output_main (head,tail,nx,ny,apple_x,apple_y,win) = 58 snake

W. Waldh?usl, To flush or not to flush? Comments on the chlorpropamide-alcohol flush, Diabetologia, vol.26, issue.1, 1984.

B. Jancin, Home-Based LED: Blue Light Gets Green Light, Skin & Allergy News, vol.40, issue.5, p.36, 2009.

, 2. AVR®-Programmierung unter AVR-GCC, AVR - Mikrocontroller, pp.40-79, 2015.

B. R. Roberts, Light emitting diode (LED) red buoy light, 'Challenges of Our Changing Global Environment'. Conference Proceedings. OCEANS '95 MTS/IEEE

, 2. AVR®-Programmierung unter AVR-GCC, AVR - Mikrocontroller, pp.40-79, 2015.

, Les annexes, Burgundica, pp.203-360, 2003.

K. Certifications-de, Graphique 2.2. Diminution du nombre de nouvelles certifications SGE

O. Kristensen, Structural Study of the Aquifex aeolicus PPX-GPPA enzyme, 2007.

, Fiche technique 1 : les microphones, Bulletin de l?AFAS, vol.21, issue.21, 2002.

, Coating resins market 2019 - global forecast to 2023, Focus on Powder Coatings, vol.2019, issue.5, pp.6-7, 2019.

M. Favier and F. Coat, Chapitre 15. La gestion du projet de la th?se, Le projet de th?se de DBA, p.241, 2017.

. Page-de-l&apos;ide-arduino,

, 3. Praktischer Einstieg mit Atmel Studio®, AVR - Mikrocontroller, pp.80-113, 2015.

. Site-de-la-machine-virtuelle-java-haikuvm,

F. Weil, La Présence des romans dans le colportage à la fin du <small class="caps" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">XVIII</small><sup xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">e</sup> siècle: les archives de Boisserand, Eighteenth-Century Fiction, vol.14, issue.3-4, pp.791-796, 2002.

C. Cullen, Arduino audio control, Learn Audio Electronics with Arduino, pp.376-425, 2020.

M. Susini, Plateforme multimédia du site internet, La lettre du Collège de France, issue.25, pp.25-26, 2009.

, LAS VEGAS SANDS CORP., a Nevada corporation, Plaintiff, v. UKNOWN REGISTRANTS OF www.wn0000.com, www.wn1111.com, www.wn2222.com, www.wn3333.com, www.wn4444.com, www.wn5555.com, www.wn6666.com, www.wn7777.com, www.wn8888.com, www.wn9999.com, www.112211.com, www.4456888.com, www.4489888.com, www.001148.com, and www.2289888.com, Defendants., Gaming Law Review and Economics, vol.20, issue.10, pp.859-868, 2016.

A. Bigloo, Spread spectrum multiple access with packet combining.

. Site-de-lucid and . Synchrone,

J. R. Dolph and K. E. Brown, Effect of Rotary Speed and Bit Weight on Penetration Rate of a Diamond Microbit, Journal of Petroleum Technology, vol.20, issue.09, pp.915-916, 1968.

. Site-de-reactiveml,

, Lead Site aVR-Dorsal, 2020.

. Site and . Libc, Lead Site aVR-Dorsal, 2020.

, Lead Site aVR-Dorsal, 2020.

, Supplemental Information 1: Collection numbers (QM Gxxxxxx, PORxxxx, SNSB-BSPG.GWxxxxx, SDCC/xxxx, AM Zxxx ) or NCBI Genbank accession numbers of samples used for the reconstruction of the trees, Site du projet SDCC

. Site and . Tinygo,

, Why Objective Caml (OCaml)?, Practical OCaml, pp.1-9

A. W. Appel, L. Beringer, A. Chlipala, B. C. Pierce, Z. Shao et al., Position paper: the science of deep specification, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.375, issue.2104, p.20160331, 2017.

J. R. Abrial, A. Hoare, and P. Chapron, The B-Book, The B-Book : Assigning Programs to Meanings, 1996.

P. Akritidis, C. Cadar, C. Raiciu, M. Costa, and M. Castro, Preventing Memory Error Exploits with WIT, 2008 IEEE Symposium on Security and Privacy (sp 2008), pp.263-277, 2008.

E. Albert, S. Genaim, and M. Gomez-zamalloa, Heap space analysis for java bytecode, Proceedings of the 6th international symposium on Memory management - ISMM '07, pp.105-116, 2007.

F. B. Bowen-alpern and . Schneider, Recognizing Safety and Liveness. Distributed Computing, vol.2, pp.117-126, 1987.

C. Auger, Compilation certifiée de SCADE/LUSTRE, 2013.

A. Edward, W. W. Ashcroft, and . Wadge, Lucid, a Nonprocedural Language with Iteration, Communications of the ACM, vol.20, issue.7, pp.519-526, 1977.

Y. Badamasi, The working principle of an Arduino, 2014 11th International Conference on Electronics, Computer and Computation (ICECCO), pp.1-4, 2014.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

T. Bourke, L. Brun, P. Dagand, X. Leroy, M. Pouzet et al., A formally verified compiler for Lustre, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017, pp.586-601, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01512286

T. Bourke, L. Brun, and M. Pouzet, Towards a verified Lustre compiler with modular reset, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, pp.14-17, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01817949

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Lecture Notes in Computer Science, pp.389-448, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076230

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le-guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.

M. Bodin, A. Chargueraud, D. Filaretti, P. Gardner, S. Maffeis et al., A trusted mechanised JavaScript specification, ACM SIGPLAN Notices, vol.49, issue.1, pp.87-100, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910135

D. Biernacki, J. Colaço, G. Hamon, and M. Pouzet, Clock-directed modular code generation for synchronous data-flow languages, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems - LCTES '08, pp.121-130, 2008.

N. Brouwers, P. Corke, and K. Langendoen, Darjeeling, a Java compatible virtual machine for microcontrollers, Proceedings of the ACM/IFIP/USENIX international middleware conference companion on Middleware '08 Companion - Companion '08, pp.18-23, 2008.

C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, OTAWA: An Open Toolbox for Adaptive WCET Analysis, Software Technologies for Embedded and Ubiquitous Systems, pp.35-46, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055378

T. Bourke, L. Brun, P. E. Dagand, X. Leroy, M. Pouzet et al., A formally verified compiler for Lustre, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01512286

C. Bell, Introducing MicroPython, MicroPython for the Internet of Things, pp.27-57, 2017.

J. Bergerand, LUSTRE : un langage déclaratif pour le temps réel, 1986.

C. Ballabriga, J. Forget, and G. Lipari, Symbolic WCET Computation, ACM Transactions on Embedded Computing Systems, vol.17, issue.2, pp.1-26, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01665076

S. Basumallick and K. Nilsen, Cache issues in real-time systems, Proceedings of the 1994 ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time System, 1994.

F. Berthelin and P. Goatin, Regularity results for the solutions of a non-local model of traffic flow, Discrete & Continuous Dynamical Systems - A, vol.39, issue.6, pp.3197-3213, 2019.

T. Bourke and M. Pouzet, Zélus, Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13, pp.113-118, 2013.

T. Bourke and M. Pouzet, Clocked arguments in a verified Lustre compiler, Actes des 30èmes Journées Francophones des Langages Applicatifs (JFLA 2019), p.16, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02005639

F. Bour, T. Refis, and G. Scherer, Merlin: a language server for OCaml (experience report), Proceedings of the ACM on Programming Languages, vol.2, issue.ICFP, pp.1-15, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01929161

T. W. Barr, R. Smith, and S. Rixner, Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference on - MIDDLEWARE '12, Proceedings of the 2012 USENIX Annual Technical Conference, pp.297-308, 2012.

R. Bannatyne and G. Viot, Introduction to microcontrollers. I, Northcon/98. Conference Proceedings (Cat. No.98CH36264)

R. Bannatyne and G. Viot, Introduction to microcontrollers, WESCON/97 Conference Proceedings, pp.564-574

T. D. Silva, https://repositorio.ufu.br/handle/123456789/25540

P. Caspi and N. Halbwachs, A functional model for describing and reasoning about time behaviour of computing systems, Acta Informatica, vol.22, issue.6, pp.595-627, 1986.

E. Chailloux, An Efficient Way of Compiling ML to C, Proceedings of the 1992 ACM Workshop on ML and its Applications, pp.37-51, 1992.

P. Caspi, G. Hamon, and M. Pouzet, Lucid Synchrone, un langage de programmation des systèmes réactifs. Systèmes Temps-réel : Techniques de Description et de Vérification Théorie et Outils, 1 :217260, 2006.

R. Crubillé and U. Dal-lago, On Probabilistic Applicative Bisimulation and Call-by-Value ?-Calculi, Programming Languages and Systems, pp.209-228, 2014.

. Springer,

A. Champion, A. Mebsout, C. Sticksel, and C. Tinelli, The Kind 2 Model Checker, Computer Aided Verification, pp.510-517, 2016.

P. Caspi and M. Pouzet, Lucid Synchrone : une extension fonctionnelle de Lustre, Actes des 10èmes Journées Francophones des Langages Applicatifs (JFLA 99), 1999.
URL : https://hal.archives-ouvertes.fr/hal-01574464

A. Colin and I. Puaut, A modular and retargetable framework for tree-based WCET analysis, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.37-44

J. Colaço and M. Pouzet, Clocks as First Class Abstract Types, Embedded Software, pp.134-155, 2003.

J. Colaço and M. Pouzet, Type-based initialization analysis of a synchronous dataflow language, International Journal on Software Tools for Technology Transfer, vol.6, issue.3, pp.245-255, 2004.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87, pp.178-188, 1987.

J. Colaco, B. Pagano, and M. Pouzet, SCADE 6: A formal language for embedded critical software development (invited paper), 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp.1-11, 2017.

P. Lee, ACM SIGPLAN Workshop on ML and Its Applications Held in San Francisco, California on June 20-21, 1992, Proceedings of the 1992 ACM Workshop on ML and its Applications, pp.28-36, 1992.

D. Dubé and M. Feeley, BIT: A Very Compact Scheme System for Microcontrollers, Higher-Order and Symbolic Computation, vol.18, issue.3-4, pp.271-298, 2005.

L. Damas and R. Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82, pp.207-212, 1982.

F. Xavier and D. , Scade 6 : a model based solution for safety critical software development

, [Roster page], 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, pp.1-9, 2008.

G. Delaval, E. Rutten, and H. Marchand, Intégration de la synthèse de contrôleurs discrets dans un langage de programmation, Journal Européen des Systèmes Automatisés, vol.45, issue.1-3, pp.125-140, 2011.

S. Diehl, P. Hartel, and P. Sestoft, Abstract machines for programming language implementation, Future Generation Computer Systems, vol.16, issue.7, pp.739-751, 2000.

M. Feeley and D. Dubé, Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming - Scheme '12, Proceedings of the 4th Workshop on Scheme and Functional Programming, pp.7-15, 2012.

J. Filliâtre and A. Paskevich, Why3 ? Where Programs Meet Provers, Programming Languages and Systems, vol.7792, pp.125-128, 2013.

L. Gérard, Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue dune compilation synchrone, vol.2013

T. Gautier, P. Guernic, and L. Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, Functional Programming Languages and Computer Architecture, pp.257-277, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075791

L. Gérard, A. Guatto, C. Pasteur, and M. Pouzet, A modular memory optimization for synchronous data-flow languages, Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems - LCTES '12, pp.51-60, 2012.

P. Garoche, F. Howar, T. Kahsai, and X. Thirioux, Testing-Based Compiler Validation for Synchronous Languages, Lecture Notes in Computer Science, pp.246-251, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02092914

F. Guan, L. Peng, L. Perneel, and M. Timmerman, Open source FreeRTOS as a case study in real-time operating system evolution, Journal of Systems and Software, vol.118, pp.19-35, 2016.

D. Gudeman, Representing Type Information in Dynamically Typed Languages, 1993.

B. Scott and . Guthery, Java Card (Industry Report), IEEE Internet Computing, vol.1, issue.1, pp.57-59, 1997.

D. W. Hall, PyMite : A Flyweight Python Interpreter for 8-bit Architectures, pp.26-28, 2003.

N. Halbwachs, A synchronous language atwork: the story of lustre, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., pp.3-11

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

C. Helbling and S. Z. Guyer, Juniper: a functional reactive programming language for the Arduino, Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design - FARM 2016, pp.8-16, 2016.

T. Harmon and R. Klefstad, A Survey of Worst-Case Execution Time Analysis for Real-Time Java, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.

K. Hong, J. Park, T. Kim, S. Kim, H. Kim et al., TinyVM, an efficient virtual machine infrastructure for sensor networks, Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems - SenSys '09, pp.399-400, 2009.

N. Halbwachs and P. Raymond, A tutorial of Lustre, 2001.

N. Holsti and S. Saarinen, Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis, 2002.

N. D. Jones, C. K. Gomard, and P. Sestoft, Partial evaluation and automatic program generation. Prentice Hall international series in computer science, 1993.

M. Jones, What really happened on Mars Rover Pathfinder, ACM Forum on Risks to the Public in Computers and Related Systems, vol.19, issue.49, 1997.

E. Jahier, P. Raymond, and N. Halbwachs, The Lustre V6 Reference Manual, 2019.

J. Jeong-hoon, G. Woo, . Hwan-gue, and . Cho, A Plagiarism Detection Technique for Java Program Using Bytecode Analysis, Proceedings of the 3rd International Conference on Convergence and Hybrid Information Technology, tome 1, pp.1092-1098, 2008.

G. Kahn, INDEX, Applied Finite Mathematics, pp.471-475, 1974.

Y. Kato, Splish: A Visual Programming Environment for Arduino to Accelerate Physical Computing Experiences, 2010 Eighth International Conference on Creating, Connecting and Collaborating through Computing, pp.3-10, 2010.

G. Klein, M. Norrish, T. Sewell, H. Tuch, S. Winwood et al., seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09, 2009.

H. Tuch and . Simon, Winwood : seL4 : formal verification of an OS kernel, Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009 (SOSP '09), pp.207-220, 2009.

R. Krebbers, X. Leroy, and F. Wiedijk, Formal C Semantics: CompCert and the C Standard, Interactive Theorem Proving, pp.543-548, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00981212

R. Kumar, M. O. Myreen, M. Norrish, and S. Owens, CakeML, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14, pp.179-191, 2014.

J. Krivine, A call-by-name lambda-calculus machine, Higher-Order and Symbolic Computation, vol.20, issue.3, pp.199-207, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00154508

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.SE-3, issue.2, pp.125-143, 1977.

X. Leroy, The ZINC experiment : an economical implementation of the ML language, Rapport technique 117, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00070049

F. Logozzo and M. Fähndrich, On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis, Lecture Notes in Computer Science, pp.197-212

M. W. Lew, T. B. Horton, and M. S. Sherriff, Using LEGO MINDSTORMS NXT and LEJOS in an Advanced Software Engineering Course, 2010 23rd IEEE Conference on Software Engineering Education and Training, pp.121-128, 2010.

B. Livshits and M. S. Lam, Usenix Security Symposium, IEEE Software, vol.28, issue.3, pp.6-6, 2011.

S. Yau-tsun-steven-li and . Malik, Performance analysis of embedded software using implicit path enumeration, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.16, issue.12, pp.1477-1487, 1997.

L. Bruno-cardoso, [Title page], 2016 Third Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 2016.

T. Lindholm, F. Yellin, G. Bracha, and A. Buckley, The Java Virtual Machine Specification, 2014.

D. Mercadier, P. Dagand, L. Lacassagne, and G. Muller, Usuba, Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing - WPMVP'18, vol.4, pp.1-4, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01657259

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.

L. Mandel and M. Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05, pp.82-93, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01508179

L. Mandel, F. Plateau, and M. Pouzet, Lucy-n: a n-Synchronous Extension of Lustre, Lecture Notes in Computer Science, pp.288-309, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545801

L. Mandel, F. Plateau, and M. Pouzet, Lucy-n: a n-Synchronous Extension of Lustre, Lecture Notes in Computer Science, pp.288-309, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545801

M. Mahesh and P. Sivraj, DrawCode: Visual tool for programming microcontrollers, 2017 3rd International Conference on Advances in Computing,Communication & Automation (ICACCA) (Fall), pp.1-6, 2017.

M. Mauny and . Benoît-vaugon, OCamlCC -Traduire OCaml en C en passant par le bytecode
URL : https://hal.archives-ouvertes.fr/hal-00779721

P. Perez, L'element d'architecture: usage et definition dans les systemes constructifs et langages objets, Actes des journées internationales "Colloque CAO et Robotique en Architecture et BTP", 1986.

M. Mauny and . Benoît-vaugon, Nullable Type Inference, Proceedings of the 2014 OCaml Users and Developers Workshop, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01413294

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL, 2002.

B. Pagano, O. Andrieu, T. Moniot, B. Canou, E. Chailloux et al., Experience report, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00396371

B. Pagano, O. Andrieu, T. Moniot, B. Canou, E. Chailloux et al., Experience report, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09, pp.215-220, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00396371

J. Basile-pesin and . Bissey, Ratio de diplômés du niveau CITE 5A âgés de 25 à 34 ans et de diplômés du niveau CITE 6 âgés de 30 à 39 ans par rapport aux diplômés des niveaux CITE 5A et 6 âgés de 55 à 64 ans, selon le domaine d'études (2004), 2008.

. Basile-pesin, Des vertus antalgiques du discours ? L?expression de la douleur et de l?attachement dans les discours sur la maternitéThèse de Catherine Ruchon, Université Paul Valéry Montpellier 3 Sous la direction de Marie-Anne Paveau, soutenue le 26 juin 2015 à l?université de Paris 13, Sorbonne Paris Cité., Langage et société, vol.154, issue.4, p.141, 2015.

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multi-task Implementation of Multi-periodic Synchronous Programs, Discrete Event Dynamic Systems, vol.21, issue.3, pp.307-338, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638936

C. Benjamin and . Pierce, Types and programming languages, 2002.

J. Plaice, Sémantique et compilation de LUSTRE, un langage déclaratif synchrone, 1988.

J. Plaice, The LUSTRE Synchronous Dataflow Programming Language: Design and Semantics, Annals of the New York Academy of Sciences, vol.661, issue.1 Frontiers of, pp.118-151, 1992.

M. Pouzet, Lucid Synchrone -Tutorial and Reference Manual, 2006.

A. Pnueli, M. Siegel, and E. Singerman, Translation validation, Tools and Algorithms for the Construction and Analysis of Systems, pp.151-166, 1998.

C. Ratel, Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE, 1992.

P. Vieira-rego, Integrating 8-bit AVR Micro-Controllers in Ada, The Ada User Journal, vol.33, issue.4, p.301, 2012.

J. C. Reynolds, Definitional Interpreters for Higher-Order Programming Languages. Higher-Order and Symbolic Computation, Higher Order Symbolic Computation, vol.11, issue.4, pp.363-397, 1998.

M. Rivas and H. Pérez, Leveraging real-time and multitasking Ada capabilities to small microcontrollers, Journal of Systems Architecture -Embedded Systems Design, vol.94, pp.32-41, 2019.

J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian et al., A Definition and Classification of Timing Anomalies, Proceedings of the 6th International Workshop on Worst-Case Execution Time Analysis (WCET '06), tome 4 de OpenAccess Series in Informatics (OASIcs), 2006.

J. Salvucci and E. Chailloux, Memory Consumption Analysis for a Functional and Imperative Language, Electronic Notes in Theoretical Computer Science, vol.330, pp.27-46, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01420298

R. El-sibaïe and E. Chailloux, Synchronous-reactive web programming, Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2016, pp.9-16, 2016.

K. Sen, Concolic testing, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07, pp.571-572, 2007.

V. St-amour and M. Feeley, PICOBIT: A Compact Scheme System for Microcontrollers, Implementation and Application of Functional Languages, pp.1-17, 2010.

V. St-amour and M. Feeley, PICOBIT: A Compact Scheme System for Microcontrollers, Implementation and Application of Functional Languages, pp.1-17, 2010.

F. Singhoff, J. Legrand, L. Nana, and L. Marc?, Cheddar, Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04, pp.1-8, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01166136

K. Slind and M. Norrish, A Brief Overview of HOL4, Lecture Notes in Computer Science, pp.28-32, 2008.

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott: Effective tool support for the working semanticist, Journal of Functional Programming, vol.20, issue.1, pp.71-122, 2010.

M. Schoeberl and R. Pedersen, WCET analysis for a Java processor, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06, pp.202-211, 2006.

P. Sparks, Coopération technique et formation, Rapport Annuel, pp.134-137, 2017.

M. Spivey, An introduction to Z and formal specifications, Software Engineering Journal, vol.4, issue.1, p.40, 1989.

A. Shamraev, E. Shamraeva, A. Dovbnya, A. Kovalenko, and O. Ilyunin, Green Microcontrollers in Control Systems for Magnetic Elements of Linear Electron Accelerators, Green IT Engineering: Concepts, Models, Complex Systems Architectures, pp.283-305, 2016.

A. Shamraev, E. Shamraeva, A. Dovbnya, A. Kovalenko, and O. Ilyunin, Green Microcontrollers in Control Systems for Magnetic Elements of Linear Electron Accelerators, Green IT Engineering: Concepts, Models, Complex Systems Architectures, pp.283-305, 2016.

, IEEE Standard for Binary Floating-Point Arithmetic, IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-1985, pp.1-20

, The Coq Development Team : The Coq Proof Assistant, version 8.9.0, janvier, 2019.

J. Vouillon and V. Balat, From bytecode to JavaScript: the Js_of_ocaml compiler, Software: Practice and Experience, vol.44, issue.8, pp.951-972, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00826786

S. Varoumas and T. Crolard, Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), tome 72 de OpenAccess Series in Informatics (OASICs), pages 5 :1-5 :12. Schloss Dagstuhl, juillet 2019

S. Varoumas, B. Vaugon, and E. Chailloux, Concurrent Programming of Microcontrollers, a Virtual Machine Approach, Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292266

S. Varoumas, B. Vaugon, and E. Chailloux, Pour une littérature-monde libérée des exclusivismes français et francophones, Trajectoires et dérives de la littérature-monde, pp.319-334, 2013.

S. Varoumas, B. Vaugon, and E. Chailloux, A Generic Virtual Machine Approach for Programming Microcontrollers : the OMicroB Project, Proceedings of the 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01705825

S. Varoumas, B. Vaugon, and E. Chailloux, Taux d'inscription des enfants de moins de 3 ans dans des structures d'accueil formelles (niveau 0 de la CITE et autres services d'EAJE agréés en-dehors de la CITE 2011), 2005 et 2014, Actes des 29èmes Journées Francophones des Langages Applicatifs (JFLA 2018), 2018.

N. Valot, P. Vidal, and L. Fabre, Increase avionics software development productivity using Micropython and Jupyter notebooks, Proceedings of the 9th European Congress on Embedded Real Time Software and Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02156167

B. Vaugon, P. Wang, and E. Chailloux, Programming Microcontrollers in OCaml: The OCaPIC Project, Practical Aspects of Declarative Languages, pp.132-148, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01213289

D. Walker, A type system for expressive security policies, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00, pp.254-267, 2000.

W. E. Wong, V. Debroy, A. Surampudi, H. Kim, and M. F. Siok, Recent Catastrophic Accidents: Investigating How Software was Responsible, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, pp.14-22, 2010.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem?overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem?overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.