Onderzoeksoutput per jaar
Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Olav Bunte actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Onderzoeksoutput
- 17 Citaties
- 1 Conferentiebijdrage
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access
Bestand
17
Citaten
(Scopus)
26
Downloads
(Pure)
Scriptie
Quantitative model checking on probabilistic systems using pLμ
Auteur: Bunte, O., 18 dec 2017Begeleider: Willemse, T. (Afstudeerdocent 1)
Scriptie/Masterproef: Master
Bestand