Vingerafdruk
Duik in de onderzoeksthema's van 'Requirements-level semantics and model checking of object-oriented statecharts'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Requirements-level semantics and model checking of object-oriented statecharts
H. Eshuis, D.N. Jansen, R.J. Wieringa
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
28
Citaten
(Scopus)