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...