Login / Signup

Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language.

Prabhat MishraHiroyuki TomiyamaAshok HalambiPeter GrunNikil D. DuttAlexandru Nicolau
Published in: VLSI Design (2002)
Keyphrases
  • description language
  • specification language
  • model checker
  • web services
  • software architecture
  • web service composition
  • action language
  • description languages
  • model validation
  • open source
  • concurrent actions