Mostrando 2 resultados de: 2
Subtipo de publicación
Conference Object(2)
Publisher
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07(1)
Proceedings - International Conference on Software Engineering(1)
Área temáticas
Ciencias de la computación(1)
Escuelas y sus actividades; educación especial(1)
Física aplicada(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
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