Login / Signup

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.

Ricardo PenaLuis M. Alonso
Published in: TAPSOFT, Vol.2 (1989)
Keyphrases
  • asynchronous circuits
  • abstract data types
  • constraint satisfaction problems
  • formal methods
  • artificial intelligence
  • model checking
  • data types
  • relational database systems
  • formal specification