ℹ️
🇬🇧
Search
Search for publications relevant for "verification of knowledge"
verification of knowledge
Publication
Class
Person
Publication
Programmes
Software Component Verification: On Translating Behavior Protocols to Promela
Publication
1 person
Abstract
Software Component Verification: On Translating Behavior Protocols to Promela
Keywords
Software
Component
Verification
Translating
Behavior
Protocols
Promela
Person
person
doc. RNDr. Jan Kofroň Ph.D.
Faculty of Mathematics and Physics