Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems.

Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace

Browse the full QUATIC paper archive.