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
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
but also software, hardware, automation, electrical and mechatronic engineers who are interested in
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
Müller, Peter. editor.
Format:
Electronic Resources
Alıntı:
management with a highly-available Kanban board -- A Case for Certifying Compilers in Industrial Automation
Yazar
Hinchey, Mike. editor.
Format:
Electronic Resources
Alıntı:
Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing
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
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures in