Autor der Publikation

Validating the Design of Real-Time Systems Using a Formal Specification Method.

, und . RTS, Seite 41-46. IEEE Computer Society, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Instructional Approach for Developing Serious Games., , , und . GALA, Volume 8605 von Lecture Notes in Computer Science, Seite 337-348. Springer, (2013)Design of an annotation tool for educational resources.. TEEM, Seite 1005-1009. ACM, (2016)Validating the Design of Real-Time Systems Using a Formal Specification Method., und . RTS, Seite 41-46. IEEE Computer Society, (1996)Computer-assisted method based on continuous feedback to improve the academic achievements of first-year students on computer engineering., , , , , und . Comput. Appl. Eng. Educ., 23 (4): 610-620 (2015)E-Learning Experiences in La Ribera Health Department., , , und . J. Inf. Technol. Res., 7 (2): 7-23 (2014)Using an e-learning platform in hospital training., , und . TEEM, Seite 25-29. ACM, (2013)Health education at La Ribera universitary hospital., , und . TEEM, Seite 31-35. ACM, (2013)A Tablet PC-Based Learning Approach on a First-Year Computer Engineering Course., , und . ICALT, Seite 86-87. IEEE Computer Society, (2009)Computer-Based Analysis of Tomatis Listening Test System Audio Data., , und . ICETE (Selected Papers), Volume 990 von Communications in Computer and Information Science, Seite 278-291. Springer, (2017)Evaluating an e-Learning Experience Based on the Sakai Environment., und . WEBIST (Selected Papers), Volume 8 von Lecture Notes in Business Information Processing, Seite 338-346. Springer, (2007)