E-LIB Suche - Ergebnisse für: Schubert, Tom

1

Effective formal property verification for design exercise:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 123-157 , 2023

Link: https://doi.org/10.1016/..

2

Effective FPV for verification:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 159-197 , 2023

Link: https://doi.org/10.1016/..

3

Dealing with complexity:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 309-350 , 2023

Link: https://doi.org/10.1016/..

4

Formal verification's greatest bloopers: the danger of fals..:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 279-307 , 2023

Link: https://doi.org/10.1016/..

5

Formal equivalence verification:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 239-277 , 2023

Link: https://doi.org/10.1016/..

6

Basic formal verification algorithms:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 25-49 , 2023

Link: https://doi.org/10.1016/..

7

Formal verification: from dreams to reality:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 1-23 , 2023

Link: https://doi.org/10.1016/..

8

Formal signoff on real projects:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 351-369 , 2023

Link: https://doi.org/10.1016/..

9

Your new FV-aware lifestyle:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 371-393 , 2023

Link: https://doi.org/10.1016/..

10

Introduction to SystemVerilog Assertions:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 51-90 , 2023

Link: https://doi.org/10.1016/..

11

Semi-automated serum steroid profiling with tandem mass spe..:

Rakete, Sophie ; Schubert, Tom ; Vogeser, Michael
Journal of Mass Spectrometry and Advances in the Clinical Lab. 27 (2023) - p. 40-48 , 2023

Link: https://doi.org/10.1016/..

12

Formal property verification apps for specific problems:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 199-238 , 2023

Link: https://doi.org/10.1016/..

13

Formal property verification:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 91-122 , 2023

Link: https://doi.org/10.1016/..

14

Selbstregeneration und Selbstheilung in DNA‐Origami‐Nanostr..:

Scheckenbach, Michael ; Schubert, Tom ; Forthmann, Carsten..
Angewandte Chemie. 133 (2021) 9 - p. 4982-4990 , 2021

Link: https://doi.org/10.1002/..

15

Early-Stage Recovery of Lithium from Tailored Thermal Condi..:

Schwich, Lilian ; Schubert, Tom ; Friedrich, Bernd
Metals. 11 (2021) 2 - p. 177 , 2021

Link: https://doi.org/10.3390/..