The ASSPEGIQUE Specification Environment - Motivations and Design.

Michel Bidoit Christine Choppy Frédéric Voisin

Published in: ADT (1984)

Keyphrases

real time
data sets
databases
computer aided
high level
formal verification
database
mobile robot
case study
user interface
control system
information systems
building blocks
social networks
robotic systems
engineering design
software design
simulation environment
formal methods
neural network