Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
Ladder Metamodeling and PLC Program Validation through Time Petri Nets
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Robust safety of timed automata
Formal Methods in System Design
Integrating real-time analysis with the dendritic cell algorithm through segmentation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus
ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Automatic abstraction refinement for timed automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Quantitative analysis of real-time systems using priced timed automata
Communications of the ACM
Current design practice and needs in selected industrial sectors
Embedded Systems Design
Formal component-based modeling and synthesis for PLC systems
Computers in Industry
Information and Computation
| Hi-index | 0.03 |