Tom Hawkins

According to our database1, Tom Hawkins authored at least 4 papers between 2012 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020

2015
Practical Formal Verification of Domain-Specific Language Applications.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Value of insulated bus bars in reducing arcing fault duration in low voltage systems.
Proceedings of the 2015 IEEE Industry Applications Society Annual Meeting, 2015

2012
Hardware Support for Safety Interlocks and Introspection.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012


  Loading...