Group: org.into-cps.vdmcheck - All Dependencies

icon
fmi2 1.1.3
@org.into-cps.vdmcheck

FMI2 modules · Various projects concerning FMI2

Mar 01, 2024
icon
fmi3 1.1.3
@org.into-cps.vdmcheck

FMI3 modules · Various projects concerning FMI3

Mar 01, 2024
icon
fmuReader 1.1.3
@org.into-cps.vdmcheck

fmuReader · A VDMJ ExternalFormatReader for reading FMUs

Mar 01, 2024
icon
xsd2vdm 1.1.3
@org.into-cps.vdmcheck

xsd2vdm · A converter for XSD schemas to VDM-SL schemas

Mar 01, 2024

Advertisement

Top Dependency Usages

junit
icon @junit
Feb 13, 2021
95.1k usages
8.4k stars
scala-library
icon @org.scala-lang
Jun 02, 2023
69.4k usages
14.2k stars
slf4j-api
icon @org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
icon @com.google.guava
Jul 31, 2023
27.1k usages
49k stars
logback-classic
icon @ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯