Tobias Renner

According to our database¹, Tobias Renner authored at least 3 papers between 2006 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Focusing on the Ethical Challenges of Data Breaches and Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

2006

Formal Verification of Abstract System and Protocol Specifications.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Tobias Renner

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...