Travelled to:1 × Denmark
1 × France
Collaborated with:R.Iyer M.K.Franklin
Talks about:specif (2) time (2) real (2) properti (1) softwar (1) verifi (1) system (1) machin (1) verif (1) multi (1)
Person: Armen Gabrielian
DBLP: Gabrielian:Armen
Contributed to:
1991
1990Wrote 2 papers:
- CAV-1991-GabrielianI #realtime #specification #verification
- Verifying Properties of HMS Machine Specifications of Real-Time Systems (AG, RI), pp. 421–431.
- ICSE-1990-GabrielianF #multi #realtime #specification #verification
- Multi-Level Specification and Verification of Real-Time Software (AG, MKF), pp. 52–62.