Author:
Harel David,Kugler Hillel
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Amon, T., G. Boriello and C. Sequin, “Operation/Event Graphs: A design representation for timing behavior”, Proc.’ 91 Conf. on Computer Hardware Description Language, pp. 241–260, 1991.
2. Lect Notes Comput Sci;M. Abadi,1989
3. Alur, R., and M. Yannakakis, “Model Checking of Message Sequence Charts”, to appear in Proc. 10th Int. Conf. on Concurrency Theory (CONCUR’99), Eindhoven, Netherlands, August 1999.
4. Alur, R., K. Etessami and M. Yannakakis, “Inference of Message Sequence Charts”, Proc. 22nd Int. Conf. on Software Engineering (ICSE’00), Limerick, Ireland, June 2000.
5. Boriello, G., “A new interface specification methodology and its application to transducer synthesis”, Technical Report UCB/CSD 88/430, University of California Berkeley, 1988.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From BDD Scenarios to Test Case Generation;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
2. Timed Scenarios: Consistency, Equivalence and Optimization;Lecture Notes in Computer Science;2018
3. Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2013
4. Data and Abstraction for Scenario-Based Modeling with Petri Nets;Lecture Notes in Computer Science;2012
5. From Interaction Overview Diagrams to Temporal Logic;Models in Software Engineering;2011