Publicações

Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations

AuthID
P-00M-7K8

Author(s)

Macedo, N

Brunel, J

Chemouil, D

Cunha, A

Kuperberg, D

Editor(es)

Zimmermann, T; ClelandHuang, J; Su, Z

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING in SIGSOFT FSE

Volume: 13-18-November-2016, Páginas: 373-383 (11)

Conference

24Th Acm Sigsoft International Symposium on Foundations of Software Engineering (Fse), Date: NOV 13-18, 2016, Location: Seattle, WA, Patrocinadores: ACM Special Interest Grp Software Engn, Assoc Comp Machinery

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/663144

Crossref^®41

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2950290.2950318

DBLP: conf/sigsoft/MacedoBCCK16

SCOPUS: 2-s2.0-84997236595

Wos: WOS:000391133400037

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations

Links Úteis

Ajuda