Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ján Sorád
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Related publications
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Methods of Using Simulation and Non-Simulation Games in Lessons Geography
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simulation Games for Collaborative Development in E-Government
Software Development Effort Estimation Using Soft Computing Methods
INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING AND TECHNOLOGY
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Software Development Processes for Games: A Systematic Literature Review
Communications in Computer and Information Science
Mathematics
Computer Science
Application of Lightweight Formal Methods to Software Security
Frameworks: The Future of Formal Software Development?
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
