A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the Formal Verification of Middleware Behavioral Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
A factory to design and build tailorable and verifiable middleware
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
| Hi-index | 0.00 |