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
 
                             14 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An epistemic approach to the formal specification of statistical machine learning Kawamoto, Yusuke

20 2 p. 293-310
artikel
2 An improved approach on the model checking for an agent-based simulation system Liu, Yinling

20 2 p. 429-445
artikel
3 An operational guide to monitorability with applications to regular properties Aceto, Luca

20 2 p. 335-361
artikel
4 Asynchronous session subtyping as communicating automata refinement Bravetti, Mario

20 2 p. 311-333
artikel
5 Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review Götz, Stefan

20 2 p. 469-503
artikel
6 Consistent change propagation within models Kretschmer, Roland

20 2 p. 539-555
artikel
7 Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets Coronado, Estefanía

20 2 p. 505-538
artikel
8 Modeling cultures of the embedded software industry: feedback from the field Akdur, Deniz

20 2 p. 447-467
artikel
9 Mutation testing with hyperproperties Fellner, Andreas

20 2 p. 405-427
artikel
10 Reflections on the standardization of SysML 2 Gray, Jeff

20 2 p. 287-289
artikel
11 Reproducible execution of POSIX programs with DiOS Ročkai, Petr

20 2 p. 363-382
artikel
12 Software engineering and formal methods: SEFM 2019 special section Ölveczky, Peter Csaba

20 2 p. 291-292
artikel
13 Specification and automated verification of atomic concurrent real-time transactions Cai, Simin

20 2 p. 557-589
artikel
14 Test model coverage analysis under uncertainty: extended version Prasetya, I. S. W. B.

20 2 p. 383-403
artikel
                             14 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland