Back to the event list

30. RSS Work­shop Meth­oden und Bes­chreibungss­prac­hen zur Mod­el­lier­ung und Veri­fika­tion von Schal­tun­gen und Syste­men (MB­MV 2027)

30. RSS Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBM 2027) im HNF in PB.

Mehr Informationen folgen.