( en | de | ru )

 

Disambiguation of "Przigoda, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
Leveraging the Analysis for Invariant Independence in Formal System Models.

, , and . DSD, page 359-366. IEEE Computer Society, (2015)

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.

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

 

Other publications of authors with the same name

Coverage-Driven Test Automation for Highly-Configurable Railway Systems., , , , , and . VaMoS, page 23-30. ACM, (2023)A compact and efficient SAT encoding for quantum circuits., , and . AFRICON, page 1-6. IEEE, (2013)Towards Automatic Design and Verification for Level 3 of the European Train Control System., , , and . DATE, page 974-979. IEEE, (2021)Verifying the structure and behavior in UML/OCL models using satisfiability solvers., , , and . IET Cyper-Phys. Syst.: Theory & Appl., 1 (1): 49-59 (2016)Optimal Railway Routing Using Virtual Subsections., , , and . RSSRail, volume 13294 of Lecture Notes in Computer Science, page 63-79. Springer, (2022)Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, , , and . Springer, (2018)Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements., , , , and . Comput. Lang. Syst. Struct., (2018)Generation and Validation of Frame Conditions in Formal Models., , , and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 259-283. Springer, (2018)SMT-based validation & verification of UML-OCL models.. University of Bremen, Germany, (2017)Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community., , and . ISMVL, page 61-66. IEEE, (2019)