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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A domain-specific language to design false data injection tests for air traffic control systems Vernotte, Alexandre
24 2 p. 127-158
 artikel
2 Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications El-Hokayem, Antoine
24 2 p. 159-181
 artikel
3 Interface control document modeling with Citrus (avionics systems interfaces) Louadah, Hassna
24 2 p. 225-245
 artikel
4 Multi-level privacy analysis of business processes: the Pleak toolset Dumas, Marlon
24 2 p. 183-203
 artikel
5 Parameterized verification of systems with component identities, using view abstraction Lowe, Gavin
24 2 p. 287-324
 artikel
6 SaBRe: load-time selective binary rewriting Arras, Paul-Antoine
24 2 p. 205-223
 artikel
7 Software test results exploration and visualization with continuous integration and nightly testing Strandberg, Per Erik
24 2 p. 261-285
 artikel
8 Supporting safe metamodel evolution with edelta Bettini, Lorenzo
24 2 p. 247-260
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland