Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications program » specification program, specifications property, specifications from
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
1
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2011
Inhaltsangabe: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
von Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Veröffentlicht 2008
Inhaltsangabe: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2010
Schlagworte: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
von Kayal, Dhrubojyoti., Kayal, Dhrubojyoti.
Veröffentlicht 2008
Inhaltsangabe: “... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern