[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1109/AICCSA.2006.205115guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems

Published: 08 March 2006 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2015)On the deployment problem of embedded systemsProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340482(158-167)Online publication date: 1-Sep-2015
  • (2014)Model-based optimization of automotive E/E-architecturesProceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis10.1145/2593735.2593739(18-29)Online publication date: 31-May-2014

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
AICCSA '06: Proceedings of the IEEE International Conference on Computer Systems and Applications
March 2006
1174 pages
ISBN:1424402115

Publisher

IEEE Computer Society

United States

Publication History

Published: 08 March 2006

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2015)On the deployment problem of embedded systemsProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340482(158-167)Online publication date: 1-Sep-2015
  • (2014)Model-based optimization of automotive E/E-architecturesProceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis10.1145/2593735.2593739(18-29)Online publication date: 31-May-2014

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media