ℹ️
🇬🇧
Search
Search for people relevant for "Automation"
Automation
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Petr Hnětynka Ph.D.
Academic staff at Faculty of Mathematics and Physics
6 classes
124 publications
Classes
class
Programming in Java Language
+1
NPRG013 |
Faculty of Mathematics and Physics
class
Advanced Java Programming
+1
NPRG021 |
Faculty of Mathematics and Physics
class
Modern Trends in Computer Science
NSWI029 |
Faculty of Mathematics and Physics
class
Advanced Tools for Software Development and Monitoring
NSWX126 |
Faculty of Mathematics and Physics
Publications
publication
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
2016 |
Faculty of Mathematics and Physics
publication
A Method for Semi-automated Generation of Test Scenarios Based on Use Cases
2015 |
Faculty of Mathematics and Physics
publication
Automated resolution of connector architectures using constraint solving (ARCAS method)
2014 |
Faculty of Mathematics and Physics
publication
Recovering Traceability Links Between Code and Specification Through Domain Model Extraction
2014 |
Faculty of Mathematics and Physics
publication
Automated deployment of hierarchical components
2013 |
Faculty of Mathematics and Physics
publication
Verifying Temporal Properties of Use-Cases in Natural Language
2012 |
Faculty of Mathematics and Physics
publication
Automated Generation of Implementation from Textual System Requirements
2011 |
Faculty of Mathematics and Physics
publication
Making Deployment of Distributed Component-based Software Unified
2004 |
Faculty of Mathematics and Physics
publication
Component Model for Unified Deployment of Distributed Component-based Software
Publication without faculty affiliation
publication
Dynamic Access Control in Industry 4.0 Systems
2023 |
Faculty of Mathematics and Physics
Load more publications (114)
Loading network view...