( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic verification of real-time communicating systems by constraint-solving.

, , и . FORTE, том 6 из IFIP Conference Proceedings, стр. 243-258. Chapman & Hall, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mats Paulsson

Mats Noges

Mats Sjöberg

Mats Rydström

Mats Tegeman

 

Другие публикации лиц с тем же именем

Quality Assurance using International Curricula and Employer Feedback., , и . ACE, том 160 из CRPIT, стр. 19-27. Australian Computer Society, (2015)Multi-level project work; a study in collaboration, и . 30th Annual Frontiers in Education Conference, 2000. FIE 2000, 2, стр. F4C/11 -F4C/13. (2000)A cyber-icebreaker for an effective virtual group?, и . ITiCSE, стр. 121-124. ACM, (2001)Role Modeling as a Computing Educator in Higher Education: A Focus on Care, Emotions and Professional Competencies., , , , , , , , , и . ITiCSE-WGR, стр. 37-63. ACM, (2022)Teaching computer science: experience from four continents., , , и . SIGCSE, стр. 102-106. ACM, (1996)Who is a Role Model? An Open Discussion on the Role of Role Modeling in Engineering Education., , , и . FIE, стр. 1-4. IEEE, (2022)Utilising Diversity for Project Work and Learning: A Study of the Learning Agreement Intervention., , и . FIE, стр. 1-9. IEEE, (2019)Phronesis, Authentic Learning and the Solution of Open-Ended Problems in Computer Science., , , , и . FIE, стр. 1-9. IEEE, (2018)Investigation into the Use of Learning Agreements to Enhance Stakeholder Engagement and Promote Self-Efficacy in Computing Education., , , , и . FIE, стр. 1-7. IEEE, (2018)A diversity lens on the last decade of the FIE conference: Role models for the engineering community., и . FIE, стр. 1-8. IEEE Computer Society, (2017)