Login / Signup
An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries.
Lotfi Bejaoui
François Pinet
Michel Schneider
Yvan Bédard
Published in:
ER (2008)
Keyphrases
</>
formal specification
specification languages
object oriented design
model checking
process algebra
specification language
data abstraction
formal methods
reverse engineering
concurrent systems
software engineering
region boundaries
input image
model checker
arbitrary shape
database systems
protocol specification