Tomás Ausberger

Orcid: 0000-0002-4230-3371

According to our database¹, Tomás Ausberger authored at least 3 papers between 2020 and 2022.

Collaborative distances:

Dijkstra number² of six.
Erdős number³ of six.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2020

Model Checking application on Function Block Diagram model.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Analytic method for automatic test case generation for Function Block Diagram.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Tomás Ausberger

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...