Jose Reis

According to our database, Jose Reis authored at least 2 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Critical Software Technologies' Experience with Formal Methods.

Alex Hill, Jose Reis, Paulo Carvalho

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012