10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Bikakis, Antonis. editor.
Format:
Electronic Resources
Alıntı:
systems, the relation between natural language and rules, automation of business rules generation from
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
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired
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
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Automation Power Grids -- Compositionality Results for Quantitative Information Flow -- CyberSAGE: A Tool for
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures in
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Process Library for the Empirical Analysis of jABC Workflows -- Automatic Annotation of Bioinformatics
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: