Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Select Guide Rating

• Set Theory and Functions Basic Set Definitions Set Theory and Functions Finite State MachineRegular Expressions and LanguagesPropositional LogicPredicate LogicTemporal LogicFormal Verification by Model CheckingPetri Nets Timed Petri Nets Colored Petri Nets

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Select Guide Rating

• Set Theory and Functions Basic Set Definitions Set Theory and Functions Finite State MachineRegular Expressions and LanguagesPropositional LogicPredicate LogicTemporal LogicFormal Verification by Model CheckingPetri Nets Timed Petri Nets Colored Petri Nets

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

Select Guide Rating

• Set Theory and Functions Basic Set Definitions Set Theory and Functions Finite State MachineRegular Expressions and LanguagesPropositional LogicPredicate LogicTemporal LogicFormal Verification by Model CheckingPetri Nets Timed Petri Nets Colored Petri Nets