( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.

, , и . Softw. Syst. Model., 5 (4): 449-466 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

Ludovic Jacquin

 

Другие публикации лиц с тем же именем

SysML Model Transformation for Safety and Security Analysis., , и . ISSA/CSITS@ESORICS, том 11552 из Lecture Notes in Computer Science, стр. 35-49. Springer, (2018)Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms., , , , и . DSD, стр. 16-23. IEEE, (2020)Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications., , , и . DSD, стр. 88-95. IEEE, (2019)Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications., , , и . MODELSWARD (Revised Selected Papers), том 1161 из Communications in Computer and Information Science, стр. 101-126. Springer, (2019)A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems., , , и . MODELSWARD, стр. 433-440. SciTePress, (2019)System Architects Are not Alone Anymore: Automatic System Modeling with AI., и . MODELSWARD, стр. 27-38. SCITEPRESS, (2024)SysML models: studying safety and security measures impact on performance using graph tainting., , и . MoDELS (Companion), стр. 79:1-79:10. ACM, (2020)Towards the model-driven engineering of security requirements for embedded systems., , и . MoDRE, стр. 55-64. IEEE Computer Society, (2013)Fast Simulation Techniques for Design Space Exploration., , и . TOOLS (47), том 33 из Lecture Notes in Business Information Processing, стр. 308-327. Springer, (2009)A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems., , , и . MODELSWARD (Revised Selected Papers), том 1161 из Communications in Computer and Information Science, стр. 201-224. Springer, (2019)