Mostrando 2 resultados de: 2
Filtros aplicados
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)
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