-
A Method and a Tool based on a Conceptual Graph for Information Systems Engin...
International audience -
McScM: A General Framework for the Verification of Communicating Machines
International audience -
Predictive toxicology using systemic biology and liver microfluidic "on chip"...
International audience -
Rank: a tool to check program termination and computational complexity
International audience -
FAST: Fast Acceleration of Symbolic Transition Systems
This dataset has no description
-
Les techniques minières de l'antiquité grecque : approche tracéologique. Les ...
International audience -
LeView: automatic and interactive generation of 2D diagrams for biomacromolec...
Present address Ségolène Caboche : IFR142 Molecular and Cellular Medecine, INSERM, CNRS,Institut Pasteur de Lille and Univ Lille Nord de France, Lille, France -
Verifying Software Product Lines with ProVeLines
National audience -
A guide and a toolbox for public involvement in the assessment and the manage...
International audience -
A Multilingual Text Normalization Approach
International audience -
Industrial Ecology, an Innovative Approach Serving Spatial Planning: the Exam...
Industrial ecology is an interdisciplinary framework for designing and operating industrial systems as living systems interdependent with natural systems. This paper... -
Brain Machine Interface (BMI) as a tool for understanding human-machine coope...
International audience
