IEEE Transactions on Pattern Analysis and Machine Intelligence
Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
The Journal of Supercomputing - Special issue on embedded fault-tolerance systems
PSAMS: a communication protocol specification assessment and measurement system
Software—Practice & Experience
IEEE Transactions on Software Engineering
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
IEEE Transactions on Software Engineering
Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A method for analysing multimedia protocol performance
Journal of Systems and Software
Simulation of Security Protocols based on Scenarios of Attacks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Distributed multimedia synchronization specifications using M2EST
Information and Software Technology
Distributed and randomized enumeration
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
Tool support for hardware/software co-design of communication protocols
Computer Communications
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
Computer Communications
Simulation of Security Protocols based on Scenarios of Attacks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |