Ver­an­stal­tun­gen

30. RSS Work­shop Me­tho­den und Be­schrei­bungs­spra­chen zur Mo­del­lie­rung und Ve­ri­fi­ka­ti­on von Schal­tun­gen und Sys­te­men (MBMV 2027)

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

Mehr erfahren