( en | de | ru )

 

Disambiguation of "Dutilleul, Simon Collart"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Approach to Control Design of Complex and Dynamical Systems.

, , and . ICCS, volume 108 of Procedia Computer Science, page 2512-2516. Elsevier, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Other publications of authors with the same name

Robust control of multi-product job-shops in repetitive functioning mode., , , and . SMC (5), page 4917-4922. IEEE, (2004)A Modular Design Framework to Assess Intelligent Trains., and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 404-414. Springer, (2020)Formal Approach to Dynamic SoS Design., , , and . ENASE, page 377-384. SciTePress, (2019)Merging Railway Standard Notations in a Formal DSL-Based Framework., , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 411-419. Springer, (2020)An MDA Approach for the Specification of Relay-Based Diagrams., , , , and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 17-29. Springer, (2018)Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops., and . Int. J. Comput. Commun. Control, (2021)CSP specification and verification of relay-based railway interlocking systems., , , , and . SAC, page 97-106. ACM, (2022)Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model., , , , and . ER, volume 11788 of Lecture Notes in Computer Science, page 338-351. Springer, (2019)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , and . ICSOFT, page 278-286. SciTePress, (2019)Human integration and participation in time constraint workshops with limiting transportation resources., and . BASYS, volume 130 of IFIP Conference Proceedings, page 579-586. Kluwer, (1998)