( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards usage of formal methods within embedded systems co-design.

, , , , и . ETFA, IEEE, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Anikó Nagy

Anikó Sztrokay

Anikó Szabó

Anikó Simon

Anikó Kovács-Bertrand

 

Другие публикации лиц с тем же именем

Elementary Events for Modeling of Human-System Interactions with Petri Net Models., , и . DoCEIS, том 423 из IFIP Advances in Information and Communication Technology, стр. 219-226. Springer, (2014)Output events for human-system interaction modeling., , и . HSI, стр. 261-266. IEEE, (2014)Event life time in detection of sequences of events., , и . ICIT, стр. 3144-3149. IEEE, (2015)Hardware-level Design Languages., и . The Industrial Information Technology Handbook, CRC Press, (2005)Implementation of a remote and virtual laboratory in the field of home appliance systems., , , , и . VIRTUAL-LAB, стр. 60-68. INSTICC Press, (2004)Attracting students to engineering through autonomous sailing yacht development., , , и . ICIT, стр. 3252-3257. IEEE, (2015)Cloud based development framework using IOPT Petri nets for embedded systems teaching., и . ISIE, стр. 2202-2206. IEEE, (2014)Collision avoidance system for an autonomous sailboat., , и . IECON, стр. 3539-3544. IEEE, (2017)From Use Cases to System Implementation: Statechart Based Co-design., и . MEMOCODE, стр. 24-33. IEEE Computer Society, (2003)Reconfigurable devices based experimentation supporting teaching introductory digital systems., , , и . INDIN, стр. 539-543. IEEE, (2017)