Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Properties in Some Classes of Automation Groups.
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