Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Artificial Intelligence
Department of Communications and Computer Engineering
Department of Computer Information Systems
Department of Computer Science
Department of Microelectronics and Nanoelectronics
Dissertations - FacICT
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-6 of 6 (Search time: 0.012 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2009
On the specification of full contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Okika, Joseph C.
;
Ravn, Anders P.
;
Schneider, Gerardo
2008
Conflict analysis of deontic contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Schneider, Gerardo
2007
Model checking concurrent assembly algorithms
Cordina, Joseph
;
Fenech, Stephen
;
Pace, Gordon J.
2008
Detection of conflicts in electronic contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
CLAN : a tool for contract analysis and conflict discovery
Fenech, Stephen
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
Automatic conflict detection on contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Schneider, Gerardo
Discover
Author
5
Schneider, Gerardo
1
Cordina, Joseph
1
Okika, Joseph C.
1
Ravn, Anders P.
Subject
3
Deontic logic
3
Software architecture
2
Intelligent agents (Computer soft...
2
Trace analysis
1
Assembly languages (Electronic co...
1
Computer multitasking
1
Computer network architectures
1
Computer programs -- Verification
1
Contracts
.
next >