( en | de | ru )

 

Disambiguierung von "Dutilleul, Simon Collart"

From post

копироватьудалитьдобавить публикацию в буфер
Event-B Decomposition Analysis for Systems Behavior Modeling.

, , , , , и . ICSOFT, стр. 278-286. SciTePress, (2019)

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.

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)
 

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

Robust control of multi-product job-shops in repetitive functioning mode., , , и . SMC (5), стр. 4917-4922. IEEE, (2004)A Modular Design Framework to Assess Intelligent Trains., и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 404-414. Springer, (2020)Formal Approach to Dynamic SoS Design., , , и . ENASE, стр. 377-384. SciTePress, (2019)Merging Railway Standard Notations in a Formal DSL-Based Framework., , и . ECSA Companion, том 1269 из Communications in Computer and Information Science, стр. 411-419. Springer, (2020)Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System., , и . CRiSIS, том 14529 из Lecture Notes in Computer Science, стр. 85-99. Springer, (2023)An MDA Approach for the Specification of Relay-Based Diagrams., , , , и . MEDI Workshops, том 929 из Communications in Computer and Information Science, стр. 17-29. Springer, (2018)Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops., и . Int. J. Comput. Commun. Control, (2021)Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model., , , , и . ER, том 11788 из Lecture Notes in Computer Science, стр. 338-351. Springer, (2019)CSP specification and verification of relay-based railway interlocking systems., , , , и . SAC, стр. 97-106. ACM, (2022)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , и . ICSOFT, стр. 278-286. SciTePress, (2019)