PUBLICACIÓN

Towards a formal approach for prototyping and verifying self-adaptive systems

Logo Open Access

ACCEDER A LA PUBLICACIÓN: Scopus Orcid

Ingles-Romero J.F., Vicente-Chicote C.

2013 Lecture Notes in Business Information Processing

Business and International Management (Q2), Control and Systems Engineering (Q3), Information Systems (Q3), Information Systems and Management (Q3), Management Information Systems (Q3), Modeling and Simulation (Q3)

SJR: 0.276


CITAS

7

DOI

10.1007/978-3-642-38490-5_39

EID

2-s2.0-84879848304

ISSN

1865-1348

ISBN

9783642384899

BIBTEX

@article{Vicente-Chicote2013,title = {Towards a formal approach for prototyping and verifying self-adaptive systems},journal = {Lecture Notes in Business Information Processing},year = {2013},volume = {148 LNBIP},pages = {432-446},author = {Ingl{\'e}s-Romero, J.F. and Vicente-Chicote, C.}}


AUTORES DE LA UEX