Collaborated with:V.H.Subburaj J.E.Urban
Talks about:intellig (1) softwar (1) system (1) specif (1) safeti (1) method (1) critic (1) agent (1)
Person: Manan R. Shah
DBLP: Shah:Manan_R=
Contributed to:
2012Wrote 1 papers:
- SEKE-2012-SubburajUS #safety #specification
- Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.