( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant.

, , , и . IECON, стр. 4337-4344. IEEE, (2020)

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.

Antti Punkka

Harry Anttila

Antti Ojala

Antti Marjanen

Antti Tölli

 

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

OWL based information agent services for process monitoring., , , и . ETFA, стр. 9-16. IEEE, (2007)Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes., , и . ISIE, стр. 669-674. IEEE, (2018)Timed model checking of fault-tolerant nuclear I&C systems., и . INDIN, стр. 159-164. IEEE, (2020)Obfuscation of function block diagrams.. ETFA, стр. 1-7. IEEE, (2023)Explicit-state and symbolic model checking of nuclear I&C systems: A comparison., , и . IECON, стр. 5439-5446. IEEE, (2017)Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems., , , , и . HoloMAS, том 4659 из Lecture Notes in Computer Science, стр. 411-420. Springer, (2007)Automatic Generation of Repair Suggestions for Control Logic of I&C Systems., , и . IECON, стр. 1-6. IEEE, (2023)Visual counterexample explanation for model checking with OERITTE., , , и . ICECCS, стр. 1-10. IEEE, (2020)Model-checking infinite-state nuclear safety I&C systems with nuXmv.. INDIN, стр. 1-6. IEEE, (2021)Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant., , , и . IECON, стр. 4337-4344. IEEE, (2020)