[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Structural test coverage criteria for lustre programs
- 作者Lakehal, Abdesselam; Parissis, Ioannis
- 文件大小257.00KB
- 发表时间2005
- DOI10.1145/1081180.1081186
- 页码35-43
同作者推荐
[ACM Press the eighteenth annual ACM symposium - Cambridge, Massachusetts, USA (2006.07.30-2006.08.02)] Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures - SPAA '06 - Distributed random digraph transformations for peer-to-peer networksMahlmann, Peter; Schindelhauer, Christian · 2006
[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTsJanson, Thomas; Mahlmann, Peter; Schindelhauer, Christian · 2010