Author:
Basit Ur Rahim Muhammad Abdul,Arif Fahim,Ahmad Jamil
Publisher
Springer International Publishing
Reference22 articles.
1. O.M.G. OMG System Modeling Language (OMG SysML) specification. Specification document of System Modeling Language (SysML) (June 2012)
2. Vanderperren, Y., Dehaene, W.: SysML_SE_applied_to_SoC.pdf,
http://www.omgsysml.org/SysML_SE_applied_to_SoC.pdf
3. SysML Tools,
http://www.sysmltools.com/
(accessed September 24, 2013)
4. Bouyer, P.: Model-checking Timed Temporal Logics. In: Bouyer, P. (ed.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science, vol. 231, pp. 323–341 (March 25, 2009)
5. Lecture Notes in Computer Science;J. Barnat,2013
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A novel reliability redundancy allocation problem formulation for complex systems;Reliability Engineering & System Safety;2023-11
2. A Formal Analysis of Moving Target Defense;2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC);2020-07
3. A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2020
4. A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude;International Journal of Information Technology and Web Engineering;2017-10