Results 191 to 200 of about 5,155,579 (288)

Machine learning assisted radiomics in predicting postoperative occurrence of deep venous thrombosis in patients with gastric cancer. [PDF]

BMC Cancer
Zeng Y, Chen Y, Zhu D, Xu J, Zhang X, Ying H, Song X, Zhou R, Wang Y, Yu F.   +9 more
europepmc   +1 more source

A model-based approach to automation of formal verification of ROS 2-based systems. [PDF]

Front Robot AI
Dust L, Gu R, Mubeen S, Ekström M, Seceleanu C.   +4 more
europepmc   +1 more source

UML-B and Event-B: an integration of languages and tools [PDF]

, 2008
Colin Snook, Michael Butler
openalex  

LPMSAEF: Lightweight process mining-based software architecture evaluation framework for security and performance analysis. [PDF]

Heliyon
Sahlabadi M, Muniyandi RC, Shukur Z, Islam MR, SaberiKamarposhti M, Yim K.   +5 more
europepmc   +1 more source

Sketch UML: A Tablet PC-Based E-Learning Tool for UML Syntax Using a Minimalistic Interface

, 2008
Bastian Tenbergen, Rick Buck, Lisa Lazarro   +2 more
openalex   +1 more source

Detecting lateral movement: A systematic survey. [PDF]

Heliyon
Smiliotopoulos C, Kambourakis G, Kolias C.   +2 more
europepmc   +1 more source

A new UML tool-based Methodology for the Software Requirements Analysis

, 2012
Thomas Weyrath, Franz Schöttl, Berthold Schinnerl, H. Schreyer   +3 more
openalex   +1 more source

New provincial records of the genus <i>Limnonectes</i> (Amphibia, Anura, Dicroglossidae) from South Central, Vietnam. [PDF]

Biodivers Data J
Nguyen VHT, Phan TQ, Do DT, Nguyen TQ, Ziegler T, Pham CT, Pham AV.   +6 more
europepmc   +1 more source