Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation
View Other Search Results
Yazar
Giorgini, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Early Stages of the Robotic Process Automation Lifecycle -- Generation and Transformation of Compliant
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: