Collaborated with:
J.D'Almeida A.Ramesh V.Alagar
Talks about:
transform (1) specif (1) formal (1) semi (1) vdm (1)
Person: T. Radhakrishnan
DBLP: Radhakrishnan:T=
Contributed to:
Wrote 1 papers:
- KBSE-1992-AlmeidaRRA #specification
- Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.