ℹ️
🇬🇧
Search
Search for publications relevant for "disciplinary"
disciplinary
Publication
Class
Person
Publication
Programmes
Model Checking of Component Behavior Specification: A Real Life Experience
Publication at Faculty of Mathematics and Physics
|
2006
3 people
Abstract
Model Checking of Component Behavior Specification: A Real Life Experience
Keywords
Model
Checking
Component
Behavior
Specification
Experience
People
person
Mgr. Pavel Ježek Ph.D.
Faculty of Mathematics and Physics
person
doc. RNDr. Jan Kofroň Ph.D.
Faculty of Mathematics and Physics
person
prof. Ing. František Plášil DrSc.
Faculty of Mathematics and Physics
