cjobuzor

Pinned Repositories

AOM-Goal-Model-Verification
A DTD-XML Technique for verifying Correctness of Agent Oriented Goal Model Diagrams
00
luxverif
Language:JavaScript00
robonomics-grant-program
Provisions for participation in the grant program
00
robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program
00
robonomics-grant-program
Provisions for participation in the grant program
716
robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program
07

cjobuzor's Repositories

cjobuzor/luxverif
Language:JavaScript
cjobuzor/robonomics-grant-results
Repository for the results obtained during the Robonomics Grant Program
cjobuzor/robonomics-grant-program
Provisions for participation in the grant program
cjobuzor/AOM-Goal-Model-Verification
A DTD-XML Technique for verifying Correctness of Agent Oriented Goal Model Diagrams