PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Abreu, João"

Author of the publication

copydeleteadd this publication to your clipboard
Checking the Conformance of Java Classes Against Algebraic Specifications.

, , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joao Augusto Sobral da Silva University of Stuttgart

 

Other publications of authors with the same name

A formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)The Sensoria Reference Modelling Language., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)A Coordination Model for Service-Oriented Interactions., and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 1-16. Springer, (2008)Specifying and Composing Interaction Protocols for Service-Oriented System Modelling., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 358-373. Springer, (2007)A Model-Checking Approach for Service Component Architectures., , , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 219-224. Springer, (2009)Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients., , , , , , , and . WorldCIST (2), volume 570 of Advances in Intelligent Systems and Computing, page 167-174. Springer, (2017)Evaluating Sign Language Recognition Using the Myo Armband., , , and . SVR, page 64-70. IEEE Computer Society, (2016)Erratum to: An integer linear programming formulation and heuristics for the minmax relative regret robust shortest path problem., , , and . J. Global Optimization, 68 (2): 463-466 (2017)Impact of different DFIG wind turbines control modes on long-term voltage stability., , , and . ISGT Europe, page 1-7. IEEE, (2012)