( en | de | ru )

 

Disambiguation of "Busard, Simon"

Author of the publication

copydeleteadd this publication to your clipboard
PyNuSMV: NuSMV as a Python Library.

, and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 453-458. Springer, (2013)

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

Symbolic model checking of multi-modal logics: uniform strategies and rich explanations.. Catholic University of Louvain, Louvain-la-Neuve, Belgium, (2017)base-search.net (ftunivlouvain:oai:dial.uclouvain.be:boreal:186372).PyNuSMV: NuSMV as a Python Library., and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 453-458. Springer, (2013)Producing Explanations for Rich Logics., and . FM, volume 10951 of Lecture Notes in Computer Science, page 129-146. Springer, (2018)Rich Counter-Examples for Temporal-Epistemic Logic Model Checking, and . IWIGP, volume 78 of EPTCS, page 39-53. (2012)Verification of Scenario-based Behavioural Models using Capella and PyNuSMV., , and . MODELSWARD, page 337-343. SCITEPRESS, (2021)A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability., and . GandALF, volume 256 of EPTCS, page 253-267. (2017)Comparing approaches for model-checking strategies under imperfect information and fairness constraints., , , and . Int. J. Softw. Tools Technol. Transf., 21 (4): 449-469 (2019)Verification of railway interlocking systems., , , , and . ESSS, volume 184 of EPTCS, page 19-31. (2015)