Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: maven: org.javabip:org.javabip.spec.examples
View more package details: https://packages.ecosyste.ms/registries/repo1.maven.org/packages/org.javabip:org.javabip.spec.examples
Dependent Repos 3
sbliudze/javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.- 0.1.0-SNAPSHOT org.javabip.parent/pom.xml
Size: 2.81 MB - Last synced: 10 months ago - Pushed: about 1 year ago
TrinhLK/RunnableJavaBIPExample
A runnable JavaBIP Example- 0.1.0-SNAPSHOT javabip-core/org.javabip.parent/pom.xml
- javabip-itest/pom.xml
- javabip-itest/target/classes/META-INF/maven/org.javabip/org.javabip.itest/pom.xml
Size: 1.49 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
sbliudze/javabip-itest
- pom.xml
Size: 2.07 MB - Last synced: 10 months ago - Pushed: over 4 years ago
utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software- 0.1.0-SNAPSHOT examples/publications/2023/JavaBIP/casinoAdjusted/pom.xml
- 0.1.0-SNAPSHOT examples/publications/2023/JavaBIP/casinoBroken/pom.xml
Size: 538 MB - Last synced: 19 days ago - Pushed: 19 days ago