A Formal Framework for ASTRAL Inter-level Proof Obligations.

Alberto Coen-Porisini Richard A. Kemmerer Dino Mandrioli

Published in: ESEC (1995)

Keyphrases

formal model
theoretical framework
real time
information systems
conceptual framework
framework enables
neural network
real world
main contribution
levels of abstraction
object level
meta level