Sabrina von Styp

Affiliations:

According to our database¹, Sabrina von Styp authored at least 3 papers between 2010 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Symbolic Model-Based Testing for Industrial Automation Software.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

2010

A Conformance Testing Relation for Symbolic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Symbolic and Timed Testing.

[BibT_eX]

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010