Author:
Cavarra Alessandra,Küster-Filipe Juliana
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
2. Lecture Notes in Computer Science;J. Bradfield,2002
3. Cavarra, A., Crichton, C., Davies, J.: A method for the automatic generation of test suites from object models. Information and Software Technology 46(5), 309–314 (2004)
4. Electronic Notes on Theoretical Computer Science (ENTCS);A. Cavarra,2004
5. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献