Introducing formal methods through role-playing
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Formal approach to railway applications
Formal methods and hybrid real-time systems
CTP-based programming languages?: considerations about an experimental design
ACM Communications in Computer Algebra
Development of Control Systems Guided by Models of their Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |