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

International audience

Continuous Quality Assurance and Optimisation in Cloud-Based Virtual Enterprises

Part 18: Optimization in Collaborative Networks

Towards a Generic Enterprise Systems Architecture Based on Cyber-Physical Systems Principles

Part 7: Cyber-Physical Systems

Virtual Enterprise Process Management: An Application to Industrial Maintenance

Part 2: Behaviour and Coordination

Towards a Framework for Analyzing and Evaluating Servitization Potential: Case Study of ENVIE Loire

Part 4: Transition Towards Product-Service Systems

Transition to Product Service Systems: methodology based on scenarios identification, modelling and evaluation

Part 4: Transition Towards Product-Service Systems

Collaborative Management of Intermodal Mobility

Part 21: Mobility and Logistics

A Risk Analysis Method to Support Virtual Organization Partners’ Selection

Part 17: Risk Analysis

PI Toolset Methodology for Virtual Enterprise Performance Assessment and Governance

Part 16: Performance Measurement Systems

Supporting Interoperability of Virtual Factories

Part 14: Interoperability and Integration

Virtual Learning Factory on VR-Supported Factory Planning

Part 13: Virtual Reality and Simulation

A Novel Framework for Virtual Organization Creation on Cloud

Part 12: Collaboration Platforms

Collaboration in Virtual Enterprises through the Smart Vortex Suite

Part 12: Collaboration Platforms

Methodology for Conceptualization of Customizable Virtual Workspaces

Part 12: Collaboration Platforms

Conceptual Reference Model for Virtual Factory: Potentials for Collaborative Business

Part 11: Reference and Conceptual Models