Towards Reuse with "Feature-Oriented Event-B"
, 2008 Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction.
Sorge, J. +5 more
core
Qualitative and quantitative standardisation of <i>Epilobium angustifolium</i> L. leaves according to Pharmacopoeial requirements. [PDF]
Pharm Sci AdvUminska K +4 more
europepmc +1 more source
Charles B. Moore Family papers, 1832-1917
Transcript of a letter from James B. Moore to Charles B.
core +1 more source
Transcriptional profile of Paracoccidioides induced by oenothein B, a potential antifungal agent from the Brazilian Cerrado plant Eugenia uniflora. [PDF]
BMC Microbiol, 2013 Zambuzzi-Carvalho PF +7 more
europepmc +1 more source
Harnessing the anti-inflammatory, skin-protective, and antioxidant potential of <i>Epilobium dodonaei</i> extracts using <i>in vitro</i> and <i>in silico</i> approaches. [PDF]
RSC AdvKurt-Celep I +8 more
europepmc +1 more source
Influence of the Hydrolyzable Tannin Structure on the Characteristics of Insoluble Hydrolyzable Tannin-Protein Complexes. [PDF]
J Agric Food Chem, 2022 Engström MT, Virtanen V, Salminen JP.
europepmc +1 more source
The Involvement of <i>Epilobium parviflorum</i> in Different Human Diseases, with Particular Attention to Its Antioxidant and Anti-Inflammatory Properties and Benefits to Vascular Health. [PDF]
NutrientsLewandowska K, Majewski MS.
europepmc +1 more source
Ulceroprotective Effects of <i>Epilobium angustifolium</i> Extract in DSS-Induced Colitis in Mice. [PDF]
Curr Issues Mol BiolSimeonova R +4 more
europepmc +1 more source
Exploring the Phytochemical Profile and Biological Insights of Epilobium angustifolium L. Herb. [PDF]
Plants (Basel)Gevrenova R +3 more
europepmc +1 more source