Embedded Systems Design Using Event-B Theories

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Journal of Computing and Digital System (Jāmiʻat al-Baḥrayn. Markaz al-Nashr al-ʻIlmī) 2016-03, Vol.5 (2), p.173-188
1. Verfasser:	HARICHE, et. al, Abdelhamid
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!