Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
MacSphere
Search
Search:
All of MacSphere
Open Access Dissertations and Theses Community
Bachelor theses
Digitized Open Access Dissertations and Theses
Divinity College Dissertations and Theses
Open Access Dissertations and Theses
for
Current filters:
Title
Author
Subject
Date Issued
Department
Degree
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Department
Degree
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Department
Degree
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
Department
Degree
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-20 of 24 (Search time: 0.003 seconds).
previous
1
2
3
next
Item hits:
Publication Date
Title
Author(s)
Sep-2010
A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD
Zhou, Hang
15-Apr-2011
A Regression Test Selection Technique Applied to Legacy Systems
Abdrakhmanov, Akbar
Jun-2010
Verification of programs with Z3
Romanowicz, Ewa
26-Apr-2010
State Diagrams: A New Visual Language For Programmable Logic Controllers
Huang, FanFan
Sep-2010
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV
Kulbakas, Christopher
12-Apr-2011
Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment
Iqbal, Asif
Apr-2012
Model Based System Consistency Checking Using Event-B
Xu, Hao
Apr-2013
Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis
Breimer, Benjamin
Apr-2014
Defect Localization using Dynamic Call Tree Mining and Matching and Request Replication: An Alternative to QoS-aware Service Selection
Yousefi, Anis
Oct-2013
Management and Processing of Vibration Data
Hussain, Hamad Wisam
Discover
Author
1
Abdrakhmanov, Akbar
1
Alabbad, Mohammed
1
Breimer, Benjamin
1
Eles, Colin J.
1
Hsieh, Tzu-Chen Alvin
1
Huang, FanFan
1
Hussain, Hamad Wisam
1
Iqbal, Asif
1
Koothoor, Nirmitha
1
Kopylov, Evguenia
.
next >
Subject
9
Computer Sciences
7
Computer Engineering
2
Computing and Software
2
SRS
1
Adaptive Cruise Control
1
Call Graph Mining and Matching
1
Change Impact Analysis
1
Comparative Study
1
Computational Engineering
1
Computer Science
.
next >
Date issued
1
2019
2
2018
1
2016
1
2014
5
2013
1
2012
3
2011
10
2010