A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
An Account of Implementing Applicative Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |