( en | de | ru )

 

Disambiguation of "Tran-Jørgensen, Peter W. V."

Author of the publication

copydeleteadd this publication to your clipboard
Migrating to an Extensible Architecture for Abstract Syntax Trees.

, , , and . WICSA, page 145-154. 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.

Dorthe Jørgensen

Theodor Holzdeppe Jørgensen

Jonas Adelin Jørgensen

Peter v Zumbusch

Palle Jorgensen

 

Other publications of authors with the same name

Formalising and Validating the Interface Description in the FMI Standard., , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 344-351. (2016)Compliance verification of a cyber security standard for Cloud-connected SCADA., , and . GIoTS, page 1-6. IEEE, (2019)Combining Harvesting Operation Optimisations using Strategy-based Simulation., , and . SIMULTECH, page 25-32. SciTePress, (2016)Security Verification of Industrial Control Systems using Partial Model Checking., , and . FormaliSE@ICSE, page 98-108. ACM, (2020)A Framework for Threat-Driven Cyber Security Verification of IoT Systems., , , and . ICST Workshops, page 89-97. IEEE Computer Society, (2018)Model-Based Development of a Multi-algorithm Harvest Planning System., , and . SIMULTECH (Selected Papers), volume 676 of Advances in Intelligent Systems and Computing, page 19-33. Springer, (2016)Migrating to an Extensible Architecture for Abstract Syntax Trees., , , and . WICSA, page 145-154. IEEE Computer Society, (2015)Security analysis of cloud-connected industrial control systems using combinatorial testing., , , and . MEMOCODE, page 13:1-13:11. ACM, (2019)Formal Security Analysis of Cloud-Connected Industrial Control Systems., , and . SecITC, volume 11359 of Lecture Notes in Computer Science, page 71-84. Springer, (2018)