Academic literature on the topic 'SysML Block Definition Diagram'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SysML Block Definition Diagram.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "SysML Block Definition Diagram"
Qiao, Dong Ping, Xiao Juan Liu, and Hao Li. "Research on SysML-Based Modeling for Production Management System." Advanced Materials Research 753-755 (August 2013): 1868–74. http://dx.doi.org/10.4028/www.scientific.net/amr.753-755.1868.
Full textArifin, Habibi Husain, Ho Kit Robert Ong, Jirapun Daengdej, and Dianing Novita. "Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML ™ Notations." INCOSE International Symposium 29, no. 1 (July 2019): 218–32. http://dx.doi.org/10.1002/j.2334-5837.2019.00599.x.
Full textWatson, Michael E., Christina F. Rusnock, Michael E. Miller, and John M. Colombi. "Performing System Tradeoff Analyses Using Human Performance Modeling." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 60, no. 1 (September 2016): 734. http://dx.doi.org/10.1177/1541931213601168.
Full textZhou, Hang, Canheng Zhang, Yue Li, Yang Gu, and Shikang Zhou. "Verifying the Safety of Aviation Software Based on Extended Colored Petri Net." Mathematical Problems in Engineering 2019 (April 7, 2019): 1–15. http://dx.doi.org/10.1155/2019/9185910.
Full textAndo, Takahiro, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, and Akira Fukuda. "Translation rules of SysML state machine diagrams into CSP# toward formal model checking." International Journal of Web Information Systems 10, no. 2 (June 10, 2014): 151–69. http://dx.doi.org/10.1108/ijwis-02-2014-0004.
Full textAvramenko, S. A., and V. D. Sekerin. "B2G market: nature and statistical analysis." Izvestiya MGTU MAMI 7, no. 4-1 (February 20, 2013): 134–41. http://dx.doi.org/10.17816/2074-0530-68118.
Full textBaklouti, Anis, Nga Nguyen, Faïda Mhenni, Jean-Yves Choley, and Abdelfattah Mlika. "Improved Safety Analysis Integration in a Systems Engineering Approach." Applied Sciences 9, no. 6 (March 25, 2019): 1246. http://dx.doi.org/10.3390/app9061246.
Full textMUKHINA, Marharyta. "Conceptualization of the financial security management mechanism of trade enterprises." Economics. Finances. Law, no. 12/4 (December 29, 2020): 25–28. http://dx.doi.org/10.37634/efp.2020.12(4).6.
Full textKIRSCH, ALEXANDER. "BIASED DIFFUSION: TRAP ANALYSIS IN TWO DIMENSIONS." International Journal of Modern Physics C 10, no. 04 (June 1999): 753–57. http://dx.doi.org/10.1142/s0129183199000577.
Full textTevelev, Al V., V. M. Mosejchuk, A. V. Tevelev, and B. B. Shkursky. "Distribution of zircon age values in metamorphic rocks within the Taratash block of the Southern Urals (initial provenance signal)." Moscow University Bulletin. Series 4. Geology, no. 4 (August 28, 2017): 15–19. http://dx.doi.org/10.33623/0579-9406-2017-4-15-19.
Full textDissertations / Theses on the topic "SysML Block Definition Diagram"
Sampietro, Samuele. "Timed Failure Logic Analysis in a Model-Driven Engineering approach." Doctoral thesis, 2021. http://hdl.handle.net/2158/1238685.
Full textConference papers on the topic "SysML Block Definition Diagram"
Xiao Liu, Zili Wang, Yi Ren, and Linlin Liu. "Modeling method of SysML-based reliability block diagram." In 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC). IEEE, 2013. http://dx.doi.org/10.1109/mec.2013.6885073.
Full textLin, Keng-Pei, Te-Min Chang, Ming-Fu Hsu, Sin-Jin Lin, and William S. Chao. "A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram." In 2019 IEEE 10th Control and System Graduate Research Colloquium (ICSGRC). IEEE, 2019. http://dx.doi.org/10.1109/icsgrc.2019.8837097.
Full textAli, Sajjad, Muhammad Abdul Basit-Ur-Rahim, and Fahim Arif. "Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM." In 2015 15th International Conference on Computational Science and Its Applications (ICCSA). IEEE, 2015. http://dx.doi.org/10.1109/iccsa.2015.11.
Full textAli, Sajjad, Muhammad Abdul Basit-Ur-Rahim, and Fahim Arif. "Formal verification of internal block diagram of SysML for modeling real-time system." In 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD). IEEE, 2015. http://dx.doi.org/10.1109/snpd.2015.7176271.
Full textSong Ding and Sheng-Qun Tang. "An approach for formal representation of SysML block diagram with description logic SHIOQ(D)." In 2010 2nd International Conference on Industrial and Information Systems (IIS 2010). IEEE, 2010. http://dx.doi.org/10.1109/indusis.2010.5565700.
Full textYang, Hao, Chun Zhao, Nana Shen, Wenzheng Liu, and Lin Zhang. "Modeling and Model-Driven of Holonomic System Based on MBSE: a Case of Internet of Things Platform." In ASME 2022 17th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/msec2022-85135.
Full text