Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 8: Line 8:
 
*[[Dynamic b-threads | Symbolic and dynamic and b-threads]]
 
*[[Dynamic b-threads | Symbolic and dynamic and b-threads]]
 
*[[ TraceVis | Tracing and visualizing behavioral Java programs with TraceVis]]
 
*[[ TraceVis | Tracing and visualizing behavioral Java programs with TraceVis]]
*[[BPMC | Verifying your application with BPmc]]
+
*[[BPMC | Verifying your application with the BP model checker ]]
 
*Using BPJ for hybrid fuzzy control with BFUZ
 
*Using BPJ for hybrid fuzzy control with BFUZ
  

Revision as of 12:33, 5 August 2013

BPJ User Guide  
Contents:  


Prev Next