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 221 - 240 von 26.685

221

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Bagnara, Roberto ; Hill, Patricia M. ; Zaffanella, Enea
In Science of Computer Programming 2008 72(1):3-21

Fachzeitschrift
222

The modular framework of computer-aided verification
Shurek, Gil ; Grumberg, Orna
Lecture Notes in Computer Science ; Computer-Aided Verification ; page 214-223 ; ISBN 3540544771

Buch
223

Dieses Ergebnis kann Gästen nicht angezeigt werden.

224

Dieses Ergebnis kann Gästen nicht angezeigt werden.

225

Dieses Ergebnis kann Gästen nicht angezeigt werden.

226

A user-centric computer-aided verification process in a virtuality-reality continuum
Romero, Victor ; Pinquié, Romain ; Noël, Frédéric ; et al.
ISSN: 0166-3615 ; Computers in Industry ; https://hal.science/hal-03950749 ; Computers in Industry, 2022, 140, pp.103678. ⟨10.1016/j.compind.2022.103678⟩.

[SPI]Engineering Science...
Fachzeitschrift
227

Dieses Ergebnis kann Gästen nicht angezeigt werden.

228

Dieses Ergebnis kann Gästen nicht angezeigt werden.

229

Dieses Ergebnis kann Gästen nicht angezeigt werden.

230

Computer Aided Verification
Lahiri, Shuvendu K. ; Wang, Chao
Directory of Open Access Books

manag geo
Buch
231

Dieses Ergebnis kann Gästen nicht angezeigt werden.

232

Dieses Ergebnis kann Gästen nicht angezeigt werden.

233

Dieses Ergebnis kann Gästen nicht angezeigt werden.

234

Dieses Ergebnis kann Gästen nicht angezeigt werden.

235

Dieses Ergebnis kann Gästen nicht angezeigt werden.

236

Dieses Ergebnis kann Gästen nicht angezeigt werden.

237

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Coloured Petri Nets and Occurrence Graphs with Symmetries
Jens Bæk Jørgensen ; Jens Baek J��rgensen ; Lars Michael Kristensen ; et al.
http://www.daimi.au.dk/PB/512/PB-512.ps.gz.

Formal Verification Coloured Petri Nets High-Level Petri Nets Occurrence Graphs State Spaces Symmetries
Fachzeitschrift
238

Dieses Ergebnis kann Gästen nicht angezeigt werden.

239

Dieses Ergebnis kann Gästen nicht angezeigt werden.

240

Computer Aided Verification ; 1006838.pdf
Chockler, Hana ; Weissenbacher, Georg

Computer science Computer logic Software engineering Artificial intelligence Mathematical logic Algorithms

Filter