| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Alliance of model-driven engineering with a proof-based formal approach
|
Idani, Akram
|
|
|
|
3-4 |
p. 289-307
|
artikel
|
| 2 |
Allocation and analysis of reliability: multiple levels: system, subsystem, and module
|
Schneidewind, Norman
|
|
2006
|
|
3-4 |
p. 121-136
|
artikel
|
| 3 |
An approach for deployment of BRS in software-defined network
|
Dutta, Parinita
|
|
2019
|
|
3-4 |
p. 355-361
|
artikel
|
| 4 |
A QCA design and energy analysis of binary semaphore with a comprehensive case study
|
Mondal, Sunanda
|
|
2019
|
|
3-4 |
p. 343-354
|
artikel
|
| 5 |
A survey on cancer prediction and detection with data analysis
|
Nath, Arunava Sankar
|
|
|
|
3-4 |
p. 231-243
|
artikel
|
| 6 |
A synergistic approach to improving symbolic execution using test ranges
|
Yang, Guowei
|
|
2019
|
|
3-4 |
p. 325-342
|
artikel
|
| 7 |
Autonomic architecture for fault handling in mobile robots
|
Doran, Martin
|
|
|
|
3-4 |
p. 263-288
|
artikel
|
| 8 |
Certified normalization of generalized traces
|
Maarand, Hendrik
|
|
2019
|
|
3-4 |
p. 253-265
|
artikel
|
| 9 |
Component behavior-based adaptation in embedded software
|
Silva Filho, Antonio Mendes da
|
|
2006
|
|
3-4 |
p. 113-119
|
artikel
|
| 10 |
Formalization and assessment of regulatory requirements for safety-critical software
|
Vilkomir, Sergiy A.
|
|
2006
|
|
3-4 |
p. 165-178
|
artikel
|
| 11 |
Formal modeling and analysis of safety-critical human multitasking
|
Broccia, Giovanna
|
|
2019
|
|
3-4 |
p. 169-190
|
artikel
|
| 12 |
Formal modeling and analysis of safety-critical human multitasking
|
Broccia, Giovanna
|
|
|
|
3-4 |
p. 169-190
|
artikel
|
| 13 |
Model-based testing of stochastically timed systems
|
Gerhold, Marcus
|
|
2019
|
|
3-4 |
p. 207-233
|
artikel
|
| 14 |
Model-checking task-parallel programs for data-race
|
Nakade, Radha
|
|
2019
|
|
3-4 |
p. 289-306
|
artikel
|
| 15 |
Optimal compression of combinatorial state spaces
|
Laarman, Alfons
|
|
2019
|
|
3-4 |
p. 235-251
|
artikel
|
| 16 |
Property specification patterns at work: verification and inconsistency explanation
|
Narizzano, Massimo
|
|
2019
|
|
3-4 |
p. 307-323
|
artikel
|
| 17 |
Rewriting toward trace coverage analysis of symmetric systems
|
Paula, Flavio M. De
|
|
2019
|
|
3-4 |
p. 191-206
|
artikel
|
| 18 |
Selected extended papers of NFM 2018
|
Dutle, Aaron
|
|
2019
|
|
3-4 |
p. 167-168
|
artikel
|
| 19 |
Software reliability engineering process
|
Schneidewind, Norman
|
|
2006
|
|
3-4 |
p. 179-190
|
artikel
|
| 20 |
Sound black-box checking in the LearnLib
|
Meijer, Jeroen
|
|
2019
|
|
3-4 |
p. 267-287
|
artikel
|
| 21 |
Symbolic approximation: an approach to verification in the large
|
Breuer, Peter T.
|
|
2006
|
|
3-4 |
p. 147-163
|
artikel
|
| 22 |
Testing software without requirements: using development artifacts to develop test cases
|
Elcock, Albert
|
|
2006
|
|
3-4 |
p. 137-145
|
artikel
|
| 23 |
Towards a capability and maturity model for Collaborative Software-as-a-Service
|
Cancian, Maiara Heil
|
|
|
|
3-4 |
p. 245-261
|
artikel
|
| 24 |
Visual attention-based comparative study on disaster detection from social media images
|
Arif,
|
|
|
|
3-4 |
p. 309-319
|
artikel
|
Tijdschrift beschrijving