Characterization and verification of correctness criteria for event-driven asynchronous programs

Taşıran, SerdarÖzkan, Burcu2024-11-092016https://hdl.handle.net/20.500.14288/5476viii, 153 l. : ill. ; 30 cm.restrictedAccessAsynchronous transfer modeBroadband communication systemsSoftware engineeringComputer-aided software engineeringAsynchronous programsAndroid applicationsMobile applicationsProgramming language designCharacterization and verification of correctness criteria for event-driven asynchronous programsDissertation© All Rights Reserved. Accessible to Koç University Affiliated Users Only!