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
Language
English
Type
Journal Title
Journal ISSN
Volume Title
Abstract
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