( en | de | ru )

 

Disambiguation of "Mazzocca, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Railway Control Systems in Promela.

, , , , , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 121-136. Springer, (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.

Nicola Galabaroff

Rudolf Nicola

Nicola Degen

Nicola Damianoff

Nicola Mende

 

Other publications of authors with the same name

Reducing Parallel Program Simulation Complexity by Static Analysis., , and . PDPTA, page 627-633. CSREA Press, (1999)High Load on Highly Available Systems., , and . PDPTA, CSREA Press, (2000)A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance, , , and . CoRR, (2013)A visual-based toolkit to support mobility data analytics., , , , and . Expert Syst. Appl., 238 (Part C): 121949 (March 2024)SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms., , , , , , , , , and 7 other author(s). IEEE Access, (2021)A Catalog-Based AIG-Rewriting Approach to the Design of Approximate Components., , , and . IEEE Trans. Emerg. Top. Comput., 11 (1): 70-81 (January 2023)Toward a Fuzzy-based Approach for Computational Load Offloading of IoT Devices., , , , and . J. Univers. Comput. Sci., 26 (11): 1455-1474 (2020)Model driven design and evaluation of security level in orchestrated cloud services., , and . J. Netw. Comput. Appl., (2018)Towards Semantics Driven Generation of Executable Web Services Compositions., , , and . J. Softw., 2 (5): 1-15 (2007)Automatic instantiation of abstract tests on specific configurations for large critical control systems, , and . CoRR, (2013)