Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             17 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A formal description of the OMG's Core Object Model and the meaning of compatible extension Houston, Iain S.C.
1995
17 5-6 p. 553-558
6 p.
artikel
2 Analysis of the STEP standard data access interface using formal methods Botting, Richard M.
1995
17 5-6 p. 437-455
19 p.
artikel
3 Applying formal methods to standard development: The open distributed processing experience Sinnott, Richard O.
1995
17 5-6 p. 615-630
16 p.
artikel
4 Author index to volume 17 (1995) 1995
17 5-6 p. 639-641
3 p.
artikel
5 Calendar 1995
17 5-6 p. 647-648
2 p.
artikel
6 FDTs for ODP Bowman, Howard
1995
17 5-6 p. 457-479
23 p.
artikel
7 Formalizing the Object Management Group's Core Object Model Bryant, Tony
1995
17 5-6 p. 481-489
9 p.
artikel
8 Formal methods in the development of premo Duce, D.A.
1995
17 5-6 p. 491-509
19 p.
artikel
9 Formal specification and verification of multimedia systems in open distributed processing Blair, Lynne
1995
17 5-6 p. 413-436
24 p.
artikel
10 Formal specification of Multilingual Alphanumeric Ordering Systems Gaitanis, Nikolaos
1995
17 5-6 p. 535-552
18 p.
artikel
11 Formal test specifications in IEEE POSIX Leathrum, J.F.
1995
17 5-6 p. 603-614
12 p.
artikel
12 Object-Z: A specification language advocated for the description of standards Duke, Roger
1995
17 5-6 p. 511-533
23 p.
artikel
13 Subject index to volume 17 (1995) 1995
17 5-6 p. 643-645
3 p.
artikel
14 The formal semantics of ISO VDM-SL Larsen, Peter Gorm
1995
17 5-6 p. 585-601
17 p.
artikel
15 The formal way Kilov, Haim
1995
17 5-6 p. 409-412
4 p.
artikel
16 Uncovering ISO ROSE protocol errors using Estelle Jirachiefpattana, A.
1995
17 5-6 p. 559-583
25 p.
artikel
17 Using Z for network modelling: An industrial experience report Wezeman, Clazien D.
1995
17 5-6 p. 631-638
8 p.
artikel
                             17 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland