|
Search the dblp DataBase
Kelvin J. Ross:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
Formal Methods Pilot Project. [Citation Graph (0, 0)][DBLP] APSEC, 1996, pp:238-245 [Conf]
- Kelvin J. Ross, Peter A. Lindsay
Maintaining Consistency Under Changes to Formal Specifications. [Citation Graph (0, 0)][DBLP] FME, 1993, pp:558-577 [Conf]
- Kelvin J. Ross, Peter A. Lindsay
A Precise Examination of the Behaviour of Process Models. [Citation Graph (0, 0)][DBLP] FME, 1994, pp:251-270 [Conf]
Model-Based Security Vulnerability Testing. [Citation Graph (, )][DBLP]
Industry Academia Collaboration: An Experience Report at a Small University. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|