An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Moreno-Navarro”
Toufik Taibi
,
Angel Herranz
,
Juan Jose Moreno-Navarro
,
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker
, pp. 137-161,
PDF
,
HTML
,
DOI
.
Volume 8, no. 2 (March 2009)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact