Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department.

Antonio Coronato, Giuseppe De Pietro

Browse the full AINA paper archive.