Yazar
Berstel-Da Silva, Bruno. author.
Format:
Electronic Resources
Alıntı:
Verification of Business Rules Programs Berstel-Da Silva, Bruno. author.
Yazar
Carmona, Josep. editor. (orcid)0000-0001-9656-254X
Format:
Electronic Resources
Alıntı:
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10
View Other Search Results
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Transactions on Petri Nets and Other Models of Concurrency XI Koutny, Maciej. editor.
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / Counsell, Steve
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: