James Snook

According to our database1, James Snook authored at least 2 papers between 2017 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Developing A New Language to Construct Algebraic Hierarchies for Event-B.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017
Formal Development of Policing Functions for Intelligent Systems.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017


  Loading...