Giters
Nick Battle (nickbattle)

nickbattle

Geek Repo

1

followers

0

following

4

stars

Company:Self Employed

Location:Bracknell

Github PK Tool:Github PK Tool

Nick Battle's repositories

vdmj

Formal Modelling in VDM

Language:JavaLicense:GPL-3.0Stargazers:26Issues:9Issues:55

FJ-VDMJ

Fujitsu's VDMJ

Language:JavaLicense:GPL-3.0Stargazers:1Issues:2Issues:0

crescendo

The Crescendo Tool

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fmi-ls-bus

Work on the integration of rules with the document

Stargazers:0Issues:1Issues:0

fmi-standard.org

Standard texts and open source software for the Functional Mockup Interface

Language:SCSSStargazers:0Issues:1Issues:0