RUBY-UDBM RUBY-UDBM is een robijnbinding voor de Uppaal DBM-bibliotheek.
Download nu

RUBY-UDBM Rangschikking & Samenvatting

RUBY-UDBM Tags

Robijn robijnbibliotheek UDBM bibliotheek Uppaal DBM-bibliotheek Ruby-UDBM Udbm

RUBY-UDBM Beschrijving

Ruby-Udbm is een robijnse binding voor de Uppaal DBM-bibliotheek. De Ruby DBM-bibliotheek heeft nu een binding aan de populaire Ruby-taal. De binding biedt verschillende modules als verschillende lagen bovenop de DBM-bibliotheek, afhankelijk van wat de gebruiker wil doen. De verschillende modules zijn: - UDBM: dit is de kernbinding die de CLASSES-beperking biedt om beperkingen te definiëren

RUBY-UDBM Gerelateerde software