PUBLICACIÓN
Towards a formal approach for prototyping and verifying self-adaptive systems
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