Holub V.
5
Coauthors
2
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2007 | 1 |
| 2008 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Ingeniería de software | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 1 |
| Escuelas y sus actividades; educación especial | 1 |
| Programación informática, programas, datos, seguridad | 1 |
| Física aplicada | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 2 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Petr Tůma | 2 |
| Děcký M. | 1 |
| Bulej L. | 1 |
| Babka V. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Streaming state space: A method of distributed model verification
Conference ObjectAbstract: We present an alternative to traditional approaches of parallel and distributed model verification.Palabras claves:Autores:Holub V., Petr TůmaFuentes:scopusTeaching operating systems: Student assignments and the software engineering perspective
Conference ObjectAbstract: This paper is an experience report outlining a transformation of an operating systems course in a syPalabras claves:Operating systems, Student assignments, TeachingAutores:Babka V., Bulej L., Děcký M., Holub V., Petr TůmaFuentes:scopus