Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

45 pages

Data and Resources

Additional Info

Field Value
Source ISSN: 0928-8910
Author Chebaro, Omar, Cuoq, Pascal, Kosmatov, Nikolai, Marre, Bruno, Pacalet, Anne, Williams, Nicky, Yakobowski, Boris
Maintainer CCSD
Last Updated May 11, 2026, 07:34 (UTC)
Created May 11, 2026, 07:34 (UTC)
Identifier hal-00818147
Language en
contributor Laboratoire d'Informatique de Nantes Atlantique (LINA) ; Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)
creator Chebaro, Omar
date 2013-06-01T00:00:00
harvest_object_id 83ac040d-59aa-49ef-82f9-d56b26de7353
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-08T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1007/s10515-013-0127-x
set_spec type:ART