Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№1
Publication date:
16 March 2024
Keyword: equational characterization
- Development tools of verification for device drivers based on semantic models Authors: Кораблин Ю.П., Павлов Е.Г.
- Analysis tools of Linux operating system drivers development Authors: Кораблин Ю.П., Павлов Е.Г.