Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.
- Published in:
- Concurrency & Computation: Practice & Experience, 2018, v. 30, n. 12, p. 1, doi. 10.1002/cpe.4289
- By:
- Publication type:
- Article
Works by Garro, Alfredo
Results: 13
1
2
Pygrossone: a python-powered library for operating with the infinity computer arithmetic.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2025, v. 29, n. 8, p. 4175, doi. 10.1007/s00500-025-10661-5
- By:
- Publication type:
- Article
3
Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2023, v. 27, n. 12, p. 8189, doi. 10.1007/s00500-022-07715-3
- By:
- Publication type:
- Article
4
Representation of grossone-based arithmetic in simulink for scientific computing.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020, v. 24, n. 23, p. 17525, doi. 10.1007/s00500-020-05221-y
- By:
- Publication type:
- Article
5
Model-Based Dependability Analysis of Physical Systems with Modelica.
- Published in:
- Modelling & Simulation in Engineering, 2017, p. 1, doi. 10.1155/2017/1578043
- By:
- Publication type:
- Article
6
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
- Published in:
- Requirements Engineering, 2022, v. 27, n. 1, p. 1, doi. 10.1007/s00766-021-00359-z
- By:
- Publication type:
- Article
7
Editorial: Special issue on modelling and simulation in the cloud computing era.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
8
SpaceFOM - A robust standard for enabling a-priori interoperability of HLA-based space systems simulations.
- Published in:
- Journal of Simulation, 2022, v. 16, n. 6, p. 624, doi. 10.1080/17477778.2021.1945962
- By:
- Publication type:
- Article
9
An integrated approach for the development and validation of multi-agent systems.
- Published in:
- Computer Systems Science & Engineering, 2005, v. 20, n. 4, p. 259
- By:
- Publication type:
- Article
10
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.
- Published in:
- Journal of Supercomputing, 2013, v. 65, n. 2, p. 645, doi. 10.1007/s11227-013-0894-y
- By:
- Publication type:
- Article
11
Isolation and Determination of Technological Properties of Lactic Acid Bacteria from Native Plants of the Gran Chaco - Region of South America.
- Published in:
- Plant Foods for Human Nutrition, 2025, v. 80, n. 2, p. 1, doi. 10.1007/s11130-025-01349-0
- By:
- Publication type:
- Article
12
Functionality of the bacteriocin sakacin G produced by Lactobacillus curvatus ACU-1 on cooked sausages under industrial conditions.
- Published in:
- Letters in Applied Microbiology, 2023, v. 76, n. 2, p. 1, doi. 10.1093/lambio/ovad015
- By:
- Publication type:
- Article
13
Exploiting agents in e-learning and skills management context.
- Published in:
- AI Communications, 2006, v. 19, n. 2, p. 137
- By:
- Publication type:
- Article