Yazar
Faber, Wolfgang. editor.
Format:
Electronic Resources
Alıntı:
All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and
Yazar
Jureta, Ivan. author.
Format:
Electronic Resources
Alıntı:
1 Requirements Problem Solving -- 2 Problem Solving Automation -- 3 Problem and Solution Concepts
View Other Search Results
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Properties in Some Classes of Automation Groups.
Yazar
Śmiałek, Michał. author.
Format:
Electronic Resources
Alıntı:
Language (RSL) that allows precision and formality, which eventually permits automation of the process of
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Method -- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method -- On Automation of
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures in
Yazar
Giorgini, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Early Stages of the Robotic Process Automation Lifecycle -- Generation and Transformation of Compliant
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Process Library for the Empirical Analysis of jABC Workflows -- Automatic Annotation of Bioinformatics
Arama Sonuçlarını Sınırlandır
Daraltılmış: