Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A machine-checked correctness proof for Pastry Azmy, Noran
 2018
 158 C p. 64-80
 artikel
2 Editorial Board 2018
 158 C p. ii
 artikel
3 Enabling analysis for Event-B Dobrikov, Ivaylo
 2018
 158 C p. 81-99
 artikel
4 Encoding TLA+ into unsorted and many-sorted first-order logic Merz, Stephan
 2018
 158 C p. 3-20
 artikel
5 Formal methods and finite element analysis of hurricane storm surge: A case study in software verification Baugh, John
 2018
 158 C p. 100-121
 artikel
6 Integrating formal methods into medical software development: The ASM approach Arcaini, Paolo
 2018
 158 C p. 148-167
 artikel
7 Introduction to the ABZ 2016 Special issue Butler, Michael
 2018
 158 C p. 1-2
 artikel
8 Proof assisted bounded and unbounded symbolic model checking of software and system models Krings, Sebastian
 2018
 158 C p. 41-63
 artikel
9 Symbolic execution for a clash-free subset of ASMs Schellhorn, Gerhard
 2018
 158 C p. 21-40
 artikel
10 Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset Hoang, Thai Son
 2018
 158 C p. 122-147
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland