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
Academic Conferences
:
(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
Conference
In Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD)
Country
USA
Date
2009
Research Title
Run-time conformance checking of mobile and distributed systems using executable models
Authors
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
Nature of contribution
Attachments
Created at 11/2/2016 9:52 AM by Dr. Ahmad Saifan
Last modified at 11/2/2016 9:52 AM by Dr. Ahmad Saifan
Use this page to add attachments to an item.
Name