|
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 | A high-level modeling language for the efficient design, implementation, and testing of Android applications |
Jaber, Mohamad |
2016 |
20 | 1 |
p. 1-18 |
artikel |
|
| 2 | Exact finite-state machine identification from scenarios and temporal properties |
Ulyantsev, Vladimir |
2016 |
20 | 1 |
p. 35-55 |
artikel |
|
| 3 | Mining parametric temporal logic properties in model-based design for cyber-physical systems |
Hoxha, Bardh |
2017 |
20 | 1 |
p. 79-93 |
artikel |
|
| 4 | Software engineering practices and Simulink: bridging the gap |
Pantelic, Vera |
2017 |
20 | 1 |
p. 95-117 |
artikel |
|
| 5 | The role of user requirements in data repository design |
Boukhari, Ilyès |
2016 |
20 | 1 |
p. 19-34 |
artikel |
|
| 6 | TSTL: the template scripting testing language |
Holmes, Josie |
2016 |
20 | 1 |
p. 57-78 |
artikel |
6 gevonden resultaten