Refining Abstract Specifications into Dangerous Traffic Scenarios.

Aren A. Babikian

Published in: ICSE Companion (2024)

Keyphrases

high level
state machines
case study
low level
specification language
real time
databases
three dimensional
mobile robot
logic programs
higher level