Publication: Characterization and verification of correctness criteria for event-driven asynchronous programs
Files
Program
Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Advisor
YÖK Thesis ID
Approval Date
Publication Date
Language
Type
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
Source
Publisher
Koç University
Subject
Asynchronous transfer mode, Broadband communication systems, Software engineering, Computer-aided software engineering, Asynchronous programs, Android applications, Mobile applications, Programming language design
Citation
Has Part
Source
Book Series Title
Edition
DOI
item.page.datauri
Link
Rights
restrictedAccess
Copyrights Note
© All Rights Reserved. Accessible to Koç University Affiliated Users Only!