Skip to Main content Skip to Navigation

Search by documents

inria-00536907v1  Conference papers
Huafeng YuYue MaYann GloucheJean-Pierre TalpinLoïc Besnard et al.  System-level Co-simulation of Integrated Avionics Using Polychrony
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
hal-02373115v1  Journal articles
Abhishek Bharadwaj SharmaEric Van dyckSyed Shoeb RazviMohammed Nihal HasanMohammed Hassan et al.  H1–nucleosome interactions and their functional implications
Biochimica et Biophysica Acta - Gene Regulatory Mechanisms , Elsevier, 2016, 1859 (3), pp.436-443. ⟨10.1016/j.bbagrm.2015.10.012⟩