• Suche: Computer Aided Verification

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 161 - 180 von 27.181

161

Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
Albarghouthi, Aws ; Leino, Rustan ; Silva, Alexandra ; et al.
Formal Methods in System Design ; volume 63, issue 1-3, page 1-4 ; ISSN 0925-9856 1572-8102

Fachzeitschrift
Zur Merkliste hinzufügen
162

Dieses Ergebnis kann Gästen nicht angezeigt werden.

163

Computer aided verification of radiotherapy treatment plans
Kuster Filipe Bowles, Juliana ; Munbodh, Reshma
Kuster Filipe Bowles , J & Munbodh , R 2019 , Computer aided verification of radiotherapy treatment plans . in Medical Physics . vol. 46 , Wiley/American Association of Physicists in Medicine , 61st American Association of Physicists in Medicine Annual Meeting (AAPM 2019) , San Antonio , Texas , United States , 14/07/19 . https://doi.org/10.1002/mp.13589

Fachzeitschrift
Zur Merkliste hinzufügen
164

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Müller, Mark Niklas ; Brix, Christopher ; Bak, Stanley ; et al.

Computer Science - Machi... Computer Science - Artif... Computer Science - Softw...
Report
Zur Merkliste hinzufügen
165

On the Magnitude of Completeness Thresholds in Bounded Model Checking
Bundala, Daniel ; Ouaknine, Joel ; Worrell, James
2012 27th Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. :155-164 Jun, 2012

Konferenz
Zur Merkliste hinzufügen
166

Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Chockler, Hana ; Weissenbacher, Georg
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783319961446 9783319961453

Buch
Zur Merkliste hinzufügen
167

Computer-aided band gap engineering and experimental verification of amorphous silicon–germanium solar cells
Zambrano, Raul Jimenez ; Rubinelli, Francisco A. ; Arnoldbik, Wim M. ; et al.
Solar Energy Materials & Solar Cells. Jan2004, Vol. 81 Issue 1, p73. 14p.

Silicon compounds Spectrometry Germanium compounds Computer simulation
Fachzeitschrift
Zur Merkliste hinzufügen
168

A kernel to support computer-aided verification of embedded software
Grobler, Leon D

Theses Mathematics Dissertations Computer science Computer software Verification. …
Dissertation
Zur Merkliste hinzufügen
169

Applications of polyhedral computations to the analysis and verification of hardware and software systems
Bagnara, Roberto ; Hill, Patricia M. ; Zaffanella, Enea
In Theoretical Computer Science 2009 410(46):4672-4691

Fachzeitschrift
Zur Merkliste hinzufügen
170

Computer Aided Verification of Relational Models by Strategic Rewriting
Necco, Claudia Mónica ; Oliveira, José N. ; Visser, Joost ; et al.

Ciencias Informáticas models verification symbolic execution abstract model verificat... extended static checking strategic term rewriting
Fachzeitschrift
Zur Merkliste hinzufügen
171

Dieses Ergebnis kann Gästen nicht angezeigt werden.

172

Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Bozga, Marius ; Iosif, Radu ; Sangnier, Arnaud ; et al.
Computer Aided Verification (CAV), Volume 2, Lecture Notes in Computer Science ; Computer Aided Verification ; https://hal.science/hal-05194491 ; Computer Aided Verification, Jul 2025, Zagreb, Croatia. pp.238

Zagreb Croatia Distributed system archi... Graph grammar Petri net coverability p... Verification …
Konferenz
Zur Merkliste hinzufügen
173

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

Dieses Ergebnis kann Gästen nicht angezeigt werden.

175

Dieses Ergebnis kann Gästen nicht angezeigt werden.

176

Computer Aided Verification ; 978-3-030-81688-9.pdf
Silva, Alexandra ; Leino, K. Rustan M.

architecture verificatio... artificial intelligence computer programming distributed computer sys... distributed systems embedded systems …
Zur Merkliste hinzufügen
177

Dieses Ergebnis kann Gästen nicht angezeigt werden.

178

Dieses Ergebnis kann Gästen nicht angezeigt werden.

179

Computer Aided Verification ; 978-3-030-81685-8.pdf
Silva, Alexandra ; Leino, K. Rustan M.

architecture verificatio... artificial intelligence automata theory computer programming distributed computer sys... distributed systems …
Zur Merkliste hinzufügen
180

Computer Aided Verification
Lahiri, Shuvendu K. ; Wang, Chao

Software Engineering Theory of Computation Computer Systems Organiz... Artificial Intelligence Information Systems and... Computer Hardware …
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter