لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Hassan Haghighi
Conference Paper
Generating Game Map Layouts for Formally Specified Nonlinear Narratives
Authors:
Saeed Amiri-Chimeh
،
Hassan Haghighi
،
Mojtaba Vahidi-Asl
Year 1400
Publish place:
The 7th International Conference on Computer Games; Challenges and Opportunities
Pages:
9
| Language: English
View And Download
Journal Paper
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL۲ PROTOTYPE
Authors:
Behnaz Changizi
،
Seyyed Hassan Mirian Hossinabadi
Year 1388
Publish place:
International Journal of Information and Communication Technology Research (IJICT Issue 2، Vol 1
Pages:
7
| Language: English
View And Download
Journal Paper
An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
Authors:
Hamid Reza Mahrooghi
،
Rasool Jalili
Year 1398
Publish place:
Journal of Computing and Security Issue 1، Vol 6
Pages:
18
| Language: English
View And Download
Journal Paper
Web Service Choreography Verification Using Z Formal Specification
Authors:
y Rastegari
،
z Sajadi
،
f shams
Year 1395
Publish place:
International Journal of Engineering (IJE) Issue 11، Vol 29
Pages:
9
| Language: English
View And Download
Conference Paper
CASL یک انتخاب مناسب برای بیان رسمی مشخصات یک نرم افزار و تصدیق آن
Authors:
عیسی پلرودی
،
معصومه شهرامی راد
Year 1393
Publish place:
National Conference on Engineering Sciences, New Ideas (8)
Pages:
6
| Language: Persian
View And Download
Journal Paper
an approach to compose viewpoints of different stakeholders in the specification of probabilistic systems
Authors:
Mahboubeh Samadi
،
Hasan Haghighi
Year 1392
Publish place:
The Journal of Information Systems and Telecommunication (JIST) Issue 5، Vol 2
Pages:
8
| Language: English
View And Download
Conference Paper
Formal Development of Two Player Games: A Constructive Approach
Authors:
Hassan Haghighi
،
Seyyed Hassan Mirian-Hosseinabadi
Year 1385
Publish place:
12th Annual Conference of Computer Society of Iran
Pages:
8
| Language: English
View And Download