You may be trying to access this site from a secured browser on the server. Please enable scripts and reload this page.
Turn on more accessible mode
Turn off more accessible mode
Skip Ribbon Commands
Skip to main content
YU Faculty Websites
>>
Dr. Ahmad Saifan
Sign In
To navigate through the Ribbon, use standard browser navigation keys. To skip between groups, use Ctrl+LEFT or Ctrl+RIGHT. To jump to the first Ribbon tab use Ctrl+[. To jump to the last selected command use Ctrl+]. To activate a command, use Enter.
Browse
Tab 1 of 2.
View
Tab 2 of 2.
Edit
Item
Version History
Manage Permissions
Delete Item
Manage
Dr. Ahmad Saifan
Published Research
:
(no title)
Top Link Bar
Dr. Ahmad Saifan
Currently selected
About Me
Contact Me
Office Hours
Quick Launch
Academic Information
Research Interests
Published Research
Published Books
Patency
Conferences
Theses/Dissertation Supervision
Awards/Prizes
Funded Research/Projects
Taught Courses
Ongoing Research
Other Academic Activities
Main Menu
Currently selected
News
Announcements
Calendar
Useful Links
Gallery
All Site Content
Research Title
Model-based testing of distributed systems
Authors
Ahmad A. Saifan and Juergen Dingel
Journal
Technical Report 2008-548, School of Computing, Queen's University
Volume & Page Numbers
2008-548
Publisher
Queen's University
Year
2008
Attachments
Created at 11/2/2016 9:56 AM by Dr. Ahmad Saifan
Last modified at 11/2/2016 9:56 AM by Dr. Ahmad Saifan
Use this page to add attachments to an item.
Name