The Journal of Object Technology

• Home
• Contents
• Blog
• Masthead
• Authors
• Contact

Search

Bibtex

Toufik Taibi, Angel Herranz, Juan Jose Moreno-Navarro, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker

@article{JOT:issue_2009_03/article3, author = {Toufik Taibi and Angel Herranz and Juan Jose Moreno-Navarro}, title = {Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker}, journal = {Journal of Object Technology}, volume = {8}, number = {2}, issn = {1660-1769}, year = {2009}, month = mar, pages = {137-161}, doi = {10.5381/jot.2009.8.2.a3}, url = {http://www.jot.fm/contents/issue_2009_03/article3.html} }

Back