Tomás Ausberger

Orcid: 0000-0002-4230-3371

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 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.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2020
Model Checking application on Function Block Diagram model.
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.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020


  Loading...