Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations

AuthID
 P-00M-7K8
5
Author(s)
Brunel, J
·
Chemouil, D
·
3
Editor(s)
Zimmermann, T; ClelandHuang, J; Su, Z
Document Type
Proceedings Paper
Year published
2016
Published
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, Pages: 373-383 (11)
Conference
24Th Acm Sigsoft International Symposium on Foundations of Software Engineering (Fse), Date: NOV 13-18, 2016, Location: Seattle, WA, Sponsors: ACM Special Interest Grp Software Engn, Assoc Comp Machinery
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/663144
Crossref®21
Google Scholar®
Publication Identifiers
DBLP: conf/sigsoft/MacedoBCCK16
SCOPUS: 2-s2.0-84997236595
Wos: WOS:000391133400037
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service