Travelled to:1 × Austria
1 × USA
Collaborated with:T.Bultan M.Lindvall B.Lux S.Topp
Talks about:control (3) concurr (3) traffic (1) softwar (1) program (1) verifi (1) design (1) applic (1) verif (1) use (1)
Person: Aysu Betin-Can
DBLP: Betin-Can:Aysu
Contributed to:
20052004Wrote 2 papers:
- ASE-2005-Betin-CanBLLT #concurrent #design #verification
- Application of design for verification with concurrency controllers to air traffic control software (ABC, TB, ML, BL, ST), pp. 14–23.
- ASE-2004-Betin-CanB #concurrent #programming #using
- Verifiable Concurrent Programming Using Concurrency Controllers (ABC, TB), pp. 248–257.