4 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Carlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar Morales, Hermenegildo Fernandez Santos
This paper presents the Eclipse plug-ins for the Task Flow model in the Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler and the model-checking tools.…