Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu sat-based!
Hier klicken für Ihr Exposé |
Malay Ganai
Sat-Based Scalable Formal Verification Solutions, Malay Ganai, Aarti Gupta, Computers Books - Blackwell Online Bookshop … This book also discusses Proofs …
Friedrich Hapke
Junhao Shi , Gorschwin Fey , Rolf Drechsler , Andreas Glowatz , Friedrich Hapke , Jurgen Schloffel, PASSAT: Efficient SAT-Based Test Pattern Generation for …
Stephanie Kemper
CiteSeerX — SAT-based Abstraction Refinement for (Timed) Constraint …: @MISC(Kemper_sat-basedabstraction, author = (Stephanie Kemper), title = (SAT-based …
Alessandro Castellini
io-port 05118118 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco. The SAT-based approach to separation logic. (English) ...
Stephanie Platzer
io-port 05417723 Kemper, Stephanie; Platzer, André. SAT-based abstraction refinement for real-time systems. (English). Electron. Notes Theor. Comput. Sci. …
Nicolas Rosner
Juan Pablo Galeotti, Nicolas Rosner, Carlos Lopez Pombo, Marcelo Frias … Pombo, Carlos and Frias, Marcelo", title = "Distributed SAT-Based Analysis of Object …
Martin Freibothe
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann: Semi-formal verification … by SAT-based …
Christian Monien
R. Feldmann ; Haubelt, Christian ; B. Monien ; Teich, Jürgen: Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. …
Armando Luca
SAT-based Model-Checking for Security Protocols Analysis: Alessandro Armando, Luca Compagna. rewrite rules modelling the abilities of the agents. … Alessandro …
Manfred Henftling
1997; 6: EE: Paul Tafertshofer, Andreas Ganz, Manfred Henftling: A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ