Indices
This title is listed in the following:
Close
Reference Hub
This research has been cited in:
Article
On building a consistent framework for executable systems architectureJournal of Systems and Software10.1016/j.jss.2014.08.049 Article
Conference
Toward on-demand wafer fab simulation using formal structure & behavior models2008 Winter Simulation Conference10.1109/WSC.2008.4736340 Conference
Model-based verification in the development of dependable systemsInternational Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II10.1109/ITCC.2005.203 Chapter
Article
Article
Simulation-based analysis of UML statechart diagrams: methods and case studiesSoftware Quality Journal10.1007/s11219-007-9020-9 Chapter
Conference
Improving system reliability via rigorous software modeling: the UML case2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542)10.1109/AERO.2001.931311 Article
A new hierarchical approach to requirement analysis of problems in automated planningEngineering Applications of Artificial Intelligence10.1016/j.engappai.2019.02.019 Conference
The Denotational Semantics-Based Formalized Standard of UML Sequence Diagrams2012 Fourth International Conference on Computational and Information Sciences10.1109/ICCIS.2012.323 Article
UML REPRESENTATION FOR RULE-BASED APPLICATION MODELS WITH XTT2-BASED BUSINESS RULESInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819401250012X Chapter
Close Top Results From Your Most Recent Search
Close