Publication: Runtime checking of refinement for concurrent software components
Files
Program
Electrical and Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Elmas, Tayfun
Advisor
Taşıran, Serdar
Publication Date
2005
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
Abstract
Description
xiii, 116 l. : ill. 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Integrated software, Software engineering, File conversion (Computer science), Software