Author:
Rahim Messaoud,Hammad Ahmed,Ioualalen Malika
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Alavi H, Avrunin G, Corbett J, Dillon L, Dwyer M, Pasareanu C. Specification patterns. http://patterns.projects.cis.ksu.edu . Accessed 22 May 2016
2. Autili M, Inverardi P, Pelliccione P (2007) Graphical scenarios for specifying temporal properties: an automated approach. Autom Softw Eng 14(3):293–340
3. Berard B, Bidoit M, Finkel A, Laroussinie F, Petit A, Petrucci L, Schnoebelen P (2010) Systems and software verification: model-checking techniques and tools, 1st edn. Springer Publishing Company, Incorporated, Berlin
4. Cheng A, Christensen S, Mortensen KH (1997) Model checking Coloured Petri Nets-exploiting strongly connected components. DAIMI Report Series 26(519). doi: 10.7146/dpb.v26i519.7048
5. Damm W, Harel D (2001) LSCs: breathing life into message sequence charts. Form Methods Syst Des 19(1):45–80
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献