A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Definition of Model-based diagnosis problems with Altarica

International audience

An Innovation Model for Collaborative Networks of SOA-Based Software Providers

Part 5: Service Orientation in Collaborative Networks

Sustainable deployment of QTLs conferring quantitative resistance to crops: first lessons from a stochastic model

International audience