Author:
Bensalem S.,Caspi P.,Parent-Vigouroux C.,Dumas C.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms;Real-Time Systems;2013-11-12
2. Flexibility in modeling languages and tools: a call to arms;International Journal on Software Tools for Technology Transfer;2009-04-15
3. A Case for Specification Validation;Verified Software: Theories, Tools, Experiments;2008
4. Improving automation software dependability: A role for formal methods?;Control Engineering Practice;2007-11
5. Providing the shalls;International Journal on Software Tools for Technology Transfer;2006-02-17