External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. In Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, editors, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Volume 7421 of Lecture Notes in Computer Science, pages 196-213, Springer, 2011. [doi]

Authors

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Rudolf Schlatte

This author has not been identified. Look up 'Rudolf Schlatte' in Google

Silvia Lizeth Tapia Tarifa

This author has not been identified. Look up 'Silvia Lizeth Tapia Tarifa' in Google
runs on