|
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 blueprint for system-level performance modeling of software-intensive embedded systems |
Hendriks, Martijn |
2014 |
18 | 1 |
p. 21-40 |
artikel |
|
| 2 | Abstraction and refinement of mathematical functions toward SMT-based test-case generation |
Kutsuna, Takuro |
2015 |
18 | 1 |
p. 109-120 |
artikel |
|
| 3 | Downward pattern refinement for timed automata |
Wehrle, Martin |
2014 |
18 | 1 |
p. 41-56 |
artikel |
|
| 4 | Evaluating the effect of a lightweight formal technique in industry |
Osaiweran, Ammar |
2015 |
18 | 1 |
p. 93-108 |
artikel |
|
| 5 | Graphillion: software library for very large sets of labeled graphs |
Inoue, Takeru |
2014 |
18 | 1 |
p. 57-66 |
artikel |
|
| 6 | How to model and prove hybrid systems with KeYmaera: a tutorial on safety |
Quesel, Jan-David |
2015 |
18 | 1 |
p. 67-91 |
artikel |
|
| 7 | How to model and prove hybrid systems with KeYmaera: a tutorial on safety |
Quesel, Jan-David |
|
18 | 1 |
p. 67-91 |
artikel |
|
| 8 | Model-driven generation of runtime checks for system properties |
Pezzé, Mauro |
2014 |
18 | 1 |
p. 1-19 |
artikel |
8 gevonden resultaten