Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
(BPJ User Guide)
Line 2: Line 2:
  
 
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]
 
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming]
+
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPintroduction.pdf A slide presentation: a general introduction to behavioral programming]
 
*[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]]
 
*[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]]
 
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]]
 
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]]
Line 9: Line 9:
 
*[[BPJ Programming Examples | BPJ Programming Examples]]
 
*[[BPJ Programming Examples | BPJ Programming Examples]]
  
= Advanced Topics =  
+
= Advanced Topics =
 
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
 
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]

Revision as of 20:23, 27 April 2014

BPJ User Guide

Advanced Topics