Publication: Characterization and verification of correctness criteria for event-driven asynchronous programs
Files
Program
Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Özkan, Burcu
Advisor
Taşıran, Serdar
Publication Date
2016
Language
English
Type
Dissertation
Journal Title
Journal ISSN
Volume Title
Abstract
Description
viii, 153 l. : ill. ; 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Asynchronous transfer mode, Broadband communication systems, Software engineering, Computer-aided software engineering, Asynchronous programs, Android applications, Mobile applications, Programming language design