( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ground setting properties for an efficient translation of OCL in SMT-based model finding.

, , и . MoDELS, стр. 261-271. ACM, (2016)

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.

Stefan Przigoda

Nepomuk Felix Nilson

Kombinierte Bestimmung des immunreaktiven Trypsins und des Pankreatitis assoziierten Proteins als mögliche neue Methode des Neugeborenenscreenings auf Mukoviszidose: eine Machbarkeitsstudie. Uni Dresden, (2009)

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Enno Nilson

Pål Nilsson

 

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

Coverage-Driven Test Automation for Highly-Configurable Railway Systems., , , , , и . VaMoS, стр. 23-30. ACM, (2023)Optimal Railway Routing Using Virtual Subsections., , , и . RSSRail, том 13294 из Lecture Notes in Computer Science, стр. 63-79. Springer, (2022)A compact and efficient SAT encoding for quantum circuits., , и . AFRICON, стр. 1-6. IEEE, (2013)Towards Automatic Design and Verification for Level 3 of the European Train Control System., , , и . DATE, стр. 974-979. IEEE, (2021)Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community., , и . ISMVL, стр. 61-66. IEEE, (2019)Towards a model-based verification methodology for Complex Swarm Systems (Invited paper)., , , и . ISED, стр. 18-23. IEEE, (2016)More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models., , , , , и . MEMOCODE, стр. 77-86. ACM, (2017)Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements., , , , и . Comput. Lang. Syst. Struct., (2018)Generation and Validation of Frame Conditions in Formal Models., , , и . MODELSWARD (Revised Selected Papers), том 991 из Communications in Computer and Information Science, стр. 259-283. Springer, (2018)Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, , , и . Springer, (2018)