Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Case Study in the formal specification of the Simple Player graphical interface for playing QuickTime movies, using the ADC interactor model
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
Case Study in the formal specification of the Simple Player graphical interface for playing QuickTime movies, using the ADC interactor model
QMRO Home
School of Electronic Engineering and Computer Science
Department of Computer Science Technical Reports: up to 1999
Case Study in the formal specification of the Simple Player graphical interface for playing QuickTime movies, using the ADC interactor model
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Case Study in the formal specification of the Simple Player graphical interface for playing QuickTime movies, using the ADC interactor model
View/
Open
712_Markopoulos_ND.pdf (5.031Mb)
Series
Department of Computer Science Technical Report;712 - 1995
Metadata
Show full item record
Authors
Markopoulos, Panos
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/4621
Collections
Department of Computer Science Technical Reports: up to 1999
[86]