Fisman, Dana
Fisman, Dana, 19..-....
פיסמן, דנה, 1973-
Dana Fisman Israeli computer scientist
VIAF ID: 51994616 (Personal)
Permalink: http://viaf.org/viaf/51994616
Preferred Forms
- 100 0 _ ‡a Dana Fisman ‡c Israeli computer scientist
- 200 _ | ‡a Fisman ‡b Dana
- 100 1 _ ‡a Fisman, Dana
- 100 1 _ ‡a Fisman, Dana
-
-
-
- 100 1 _ ‡a Fisman, Dana, ‡d 19..-....
-
Works
Title | Sources |
---|---|
A practical introduction to PSL | |
PSL | |
Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings | |
Vérification de systèmes infinis et apprentissage automatique. | |
Verification of Infinite-State Systems and Machine Learning |