A Notation for Component-Based Design of Java Applications
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Facilitating reuse in hardware models with enhanced type inference
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
The Liberty Simulation Environment: A deliberate approach to high-level system modeling
ACM Transactions on Computer Systems (TOCS)
A causality interface for deadlock analysis in dataflow
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
Scalable Semantic Annotation Using Lattice-Based Ontologies
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Hi-index | 0.00 |