Výsledky vyhledávání

Autor: Perrenet, J.C., Groote, J.F., Kaasenbrood, E.J.S., Smedinga, R., Tolboom, J.

Publikováno v: NIOC Proceedings 2004 (Groningen, The Netherlands, November 3-4, 2004), 83-88
STARTPAGE=83;ENDPAGE=88;TITLE=NIOC Proceedings 2004 (Groningen, The Netherlands, November 3-4, 2004)

Onderzoek naar informaticaonderwijs staat nog in de kinderschoenen. Het kan voortbouwen op de traditie bij het wiskundeonderwijs. Ons onderzoek, uitgevoerd bij de Bacheloropleiding aan de Technische Universiteit Eindhoven, vindt zijn inspiratie in th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::6b13551532e056f487889767c324b2a0
https://research.tue.nl/nl/publications/739d5c48-1401-4f62-aa78-c17eadee682f

Zobrazit plný text záznamu

An overview of results in discrete-event system using a trace theory-based setting

Autor: SMEDINGA, R, Balemi, S, Kozak, P, Smedinga, R

Publikováno v: DISCRETE EVENT SYSTEMS: MODELING AND CONTROL: proceedings of the joint workshop on Discrete Event Systems (WODES'92), August 26-28, 1992, Prague, 43-56
STARTPAGE=43;ENDPAGE=56;TITLE=DISCRETE EVENT SYSTEMS: MODELING AND CONTROL

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::db2fb876c78cbe170cb1907c7dfd9054
https://research.rug.nl/en/publications/b82fa7ec-9846-4198-866e-df7217d6b83b

Zobrazit plný text záznamu

A Compositional Approach to Generalised semi-Markov Processes

Autor: d' Argenio, P.R., Katoen, Joost P., Brinksma, Ed, Giua, Alessandro, Smedinga, R., Spathopoulos, M.P.

Publikováno v: WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia, 391-397
STARTPAGE=391;ENDPAGE=397;TITLE=WODES'98: International Workshop on Discrete Event Systems

This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semant

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::d98f59b77efa23b75dfe6d253bc516bf
https://research.utwente.nl/en/publications/b494160e-2515-46c2-bd51-0aa10b3aadb6

Zobrazit plný text záznamu