Thomas In der Rieden
According to our database1,
Thomas In der Rieden
authored at least 5 papers
between 2005 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
0
1
2
3
4
5
1
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
2005
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005
An approach to the pervasive formal specification and verification of an automotive system: status report.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005