( en | de | ru )

 

Disambiguation of "Procházka, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.

, , , , , , , , , , , , , , , , , , , , , , , , , , , and . ICPS, page 25-30. IEEE, (2021)

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.

Jan Procházka

Eva Procházka

Roman Procházka

Rudolf Procházka

Ingrid Eleonore Procházka

 

Other publications of authors with the same name

Reconstruction of Prehistoric Settlement Network Using Agent-Based Model in NetLogo., , and . PAAMS (Workshops), volume 524 of Communications in Computer and Information Science, page 165-175. Springer, (2015)Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS., , , , , , , , , and 18 other author(s). ICPS, page 25-30. IEEE, (2021)Compiler Generator Based on Restarting Automata.. CIAA, volume 5642 of Lecture Notes in Computer Science, page 253-257. Springer, (2009)microCT for Systematic Mouse Phenotyping., , , , , , and . BIOIMAGING, page 144-149. SciTePress, (2019)978-989-758-353-7.Monitoring Lane Formation of Pedestrians: Emergence and Entropy., and . ACIIDS (1), volume 9011 of Lecture Notes in Computer Science, page 221-228. Springer, (2015)Entity linking based on the co-occurrence graph and entity probability., , , and . ERD@SIGIR, page 37-44. ACM, (2014)Batch alignment via retention orders for preprocessing large-scale multi-batch LC-MS experiments., , , , and . Bioinform., 38 (15): 3759-3767 (2022)Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture., , , , , , , , , and 16 other author(s). IECON, page 1-6. IEEE, (2021)OpenCL for Large-Scale Agent-Based Simulations., and . ICCCI (1), volume 10448 of Lecture Notes in Computer Science, page 351-360. Springer, (2017)Data-Driven Pedestrian Model: From OpenCV to NetLogo., and . ICCCI, volume 8733 of Lecture Notes in Computer Science, page 322-331. Springer, (2014)