ℹ️
🇬🇧
Search
Search for publications relevant for "Verification"
Verification
Publication
Class
Person
Publication
Programmes
Export current view
VisPlan: Interactive Visualisation and Verification of Plans
Publication at Faculty of Mathematics and Physics
|
2011
2 people
Abstract
The paper describes a tool VisPlan for visualizing and interactive modification of plans.
Keywords
Visualisation
Verification
Planning
People
person
prof. RNDr. Roman Barták Ph.D.
Faculty of Mathematics and Physics, Faculty of Education
person
Bc. Radoslav Glinský
Faculty of Mathematics and Physics