Event-B Decomposition Analysis for Systems Behavior Modeling
ICSOFT 2019, 14th International Conference on Software Technologies, Prague, TCHÈQUE, RÉPUBLIQUE, 26-/07/2019 - 28/07/2019
Conceptual Modelling of the Dynamic Goal-Oriented Safety Management for Safety Critical Systems
ICSOFT 2019, 14th International Conference on Software Technologies, Prague, TCHÈQUE, RÉPUBLIQUE, 26-/07/2019 - 28/07/2019
A new Constraint Based Scheduling model for real-time Railway Traffic Management Problem using conditional Time-Interval...
Rail Norrköping 2019, 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Norrköping, SUEDE, 17-/06/2019 - 20/06/2019
Towards a tool-based domain specific approach for railway systems modeling and validation
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , Lille, FRANCE, 04-/06/2019 - 06/06/2019
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , Lille, FRANCE, 04-/06/2019 - 06/06/2019
Identification des données d'émission sonore des tramways lyonnais pour les modèles NMPB2008 et CNOSSOS-EU
Dans le cadre de la production des cartes de bruit stratégiques imposées par la directive européenne 2002/49/CE, jusqu'en 2018 la méthode française NMPB2008 a été utilisée. Pour les premières échéances, les données d'émission pour les tramways français provenaient du tramway nantais de première génération. Pour l'échéance 2018 du réseau de tramway ...
Formal Approach to Dynamic SoS Design
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Heraklion, GRECE, 04-/05/2019 - 05/05/2019
Formal Approach to Dynamic SoS Design
ENASE 2019, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Heraklion, GRECE, 04-/05/2019 - 05/05/2019
Validation of MFD-based models with microscopic simulations on real networks: Importance of production hysteresis and tr...
TRB 2019, Transportation Research Board 98th Annual Meeting, Washington DC, ETATS-UNIS, 13-/01/2019 - 17/01/2019
Flow exchanges in multi-trip MFD-based systems: A validation study against microscopic simulation
TRB 2019, Transportation Research Board 98th Annual Meeting, Washington DC, ETATS-UNIS, 13-/01/2019 - 17/01/2019
