Travelled to:
1 × Korea
Collaborated with:
K.T.Seow
Talks about:
time (2) transpar (1) discret (1) control (1) specif (1) requir (1) design (1) valid (1) human (1) event (1)
Person: Amrith Dhananjayan
DBLP: Dhananjayan:Amrith
Contributed to:
Wrote 1 papers:
- CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation
- Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.