Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying and analysing multimedia systems
Formal methods for distributed processing
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Threshold and Bounded-Delay Voting in Critical Control Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
System level performance analysis for real-time automotive multicore and network architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |