14 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
but also software, hardware, automation, electrical and mechatronic engineers who are interested in
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation
Yazar
Hinchey, Mike. editor.
Format:
Electronic Resources
Alıntı:
Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing
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
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing 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
14 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: