Skip navigation
Home
Browse
Communities & Collections
Browse Items by:
Issue Dates
Contributors
Titles
Subjects
Communities
Sign on to:
My HannanDL
Receive email updates
Edit Profile
Services
Guidelines
Search Guide
Viewer Guide
Missions
Visions
News
English
Persian
Fa
En
مرور بر اساس تاریخ انتشار Steffen, Bernhard. ;
مرتب سازی بر اساس
تاریخ انتشار
تاریخ انتشار
تاریخ انتشار
تاریخ انتشار
با چیدمان
نزولی
صعودی
تعداد رکورد در صفحه
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
نویسنده/رکورد
همه
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Preview
Issue Date
Title
Contributor(s)
2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Margaria, Tiziana. ;
;
Steffen, Bernhard. ;
2018
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Margaria, Tiziana. ;
;
Steffen, Bernhard. ;
