Help students learn interpreted Petri nets with Minecraft, 2023, Iwona Grobelna , Małgorzata Mazurkiewicz , Damian Janus , Informatics in Education, Vol. 22, iss. 2, 257--276, ISSN: 1648-5831, eISSN: 2335-8971, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: Petri nets, control systems, education, game-based learning
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.15388/infedu.2023.13

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 22-07-2022

Scratch-based user-friendly requirements definition for formal verification of control systems, 2020, Iwona Grobelna , Informatics in Education, Vol. 19, iss. 2, 223--238, ISSN: 1648-5831, eISSN: 2335-8971, bibliogr. rys. tab. summ.
Słowa kluczowe: control systems, formal verification, logic controller, model checking, requirements engineering, specification
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.15388/infedu.2020.11

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-06-2020