Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
: description logics; theorem proving and model building; decision procedures; decision procedures for
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
focus on the application of formal techniques and tools for building reliable, safe, secure, and smart
View Other Search Results
Yazar
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
Format:
Electronic Resources
Alıntı:
and model building, combinations of systems, constraint solving, description logics, interactive
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
interoperability with software engineering for building reliable, safe, secure, and smart systems.
Yazar
Asher, Nicholas. editor.
Format:
Electronic Resources
Alıntı:
Regular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
-- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of
8.
Yazar
Guerraoui, Rachid. editor.
Format:
Electronic Resources
Alıntı:
task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
skill. Topics and features: Provides an introduction to the building blocks of discrete mathematics
Yazar
Dignum, Virginia. editor.
Format:
Electronic Resources
Alıntı:
: Building Socially Intelligent Agents -- COIR: Verifying Normative Specifications of Complex Systems -- The
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and
Arama Sonuçlarını Sınırlandır
Daraltılmış: