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
 
                             20 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 About Fast and TReX Accelerations Darlot, Christophe
2005
128 6 p. 87-103
17 p.
artikel
2 A Generic Cost Model for Concurrent and Data-parallel Meta-computing Merlin, Armelle
2005
128 6 p. 3-19
17 p.
artikel
3 Combining the Box Structure Development Method and CSP for Software Development Hopcroft, Philippa J.
2005
128 6 p. 127-144
18 p.
artikel
4 CTL-Property Transformations Along an Incremental Design Process Braunstein, C├ęcile
2005
128 6 p. 263-278
16 p.
artikel
5 Efficient Model Checking of Hardware Using Conditioned Slicing Vasudevan, Shobha
2005
128 6 p. 279-294
16 p.
artikel
6 Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search Pandya, Paritosh K.
2005
128 6 p. 247-262
16 p.
artikel
7 Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Donaldson, Alastair F.
2005
128 6 p. 161-177
17 p.
artikel
8 Formal Verification of the NASA Runway Safety Monitor Siminiceanu, Radu I.
2005
128 6 p. 179-194
16 p.
artikel
9 Games for Counting Abstractions Raskin, J.-F.
2005
128 6 p. 69-85
17 p.
artikel
10 Model Checking Functional and Performability Properties of Stochastic Fluid Models Gribaudo, Marco
2005
128 6 p. 295-310
16 p.
artikel
11 Model-checking the Preservation of Temporal Properties upon Feature Integration Guelev, Dimitar P.
2005
128 6 p. 311-324
14 p.
artikel
12 Preface Huth, Michael R.A.
2005
128 6 p. 1-2
2 p.
artikel
13 Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC Duflot, Marie
2005
128 6 p. 195-214
20 p.
artikel
14 Regularity Results for FIFO Channels Klarlund, Nils
2005
128 6 p. 21-36
16 p.
artikel
15 Simplifying Itai-Rodeh Leader Election for Anonymous Rings Fokkink, Wan
2005
128 6 p. 53-68
16 p.
artikel
16 Software Model Checking Based on Game Semantics and CSP Dimovski, Aleksandar
2005
128 6 p. 105-125
21 p.
artikel
17 Structural Translation from Time Petri Nets to Timed Automata Cassez, Franck
2005
128 6 p. 145-160
16 p.
artikel
18 Towards a Small Model Theorem for Data Independent Systems in Alloy Momtahan, Lee
2005
128 6 p. 37-52
16 p.
artikel
19 Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware Wang, X.
2005
128 6 p. 231-246
16 p.
artikel
20 Truly Concurrent Logic via In-Between Specification Fecher, Harald
2005
128 6 p. 215-230
16 p.
artikel
                             20 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland