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

  1. Inglés-Romero, J.F.
  2. Vicente-Chicote, C.
Liburu bilduma:
Lecture Notes in Business Information Processing

ISSN: 1865-1348

ISBN: 9783642384899

Argitalpen urtea: 2013

Alea: 148 LNBIP

Orrialdeak: 432-446

Mota: Biltzar ekarpena

DOI: 10.1007/978-3-642-38490-5_39 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus