Communicating sequential processes
Communicating sequential processes
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The Verilog hardware description language (4th ed.)
The Verilog hardware description language (4th ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
ipChinook: an integrated IP-based design framework for distributed embedded systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Representation of function variants for embedded system optimization and synthesis
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Codesign of embedded systems: status and trends
Readings in hardware/software co-design
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Codesign of Embedded Systems: Status and Trends
IEEE Design & Test
Hi-index | 0.00 |