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
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Automation and intelligent scheduling of distributed system functional testing Hillah, Lom Messan
2016
19 3 p. 281-308
artikel
2 Combining usage-based and model-based testing for service-oriented architectures in the industrial practice Herbold, Steffen
2016
19 3 p. 309-324
artikel
3 Fully automated runtime enforcement of component-based systems with formal and sound recovery Falcone, Yliès
2016
19 3 p. 341-365
artikel
4 Model-based testing as a service Herbold, Steffen
2017
19 3 p. 271-279
artikel
5 Practical experiences in the usage of MIDAS in the logistics domain Barcelona, M. A.
2016
19 3 p. 325-339
artikel
6 The first reactive synthesis competition (SYNTCOMP 2014) Jacobs, Swen
2016
19 3 p. 367-390
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland