Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Conflict-preserving abstraction of discrete event systems using annotated automata
Discrete Event Dynamic Systems
Hi-index | 0.00 |