Formal Specification for Building Robust Real-time Microkernels.

Manuel Rodríguez Jean-Charles Fabre Jean Arlat

Published in: RTSS (2000)

Keyphrases

formal specification
real time
specification languages
formal methods
model checking
specification language
object oriented design
reverse engineering
data abstraction
software components
relational databases
control system
process algebra