Highly Influential
5 Excerpts
Brasileiro de Computação – CBComp 2001 351 F ORMAL SPECIFICATION AND VERIFICATION OF THE ACCOUNTING M ODEL OF T INA A RCHITECTURE USING L OTOS
Abstract
This paper presents the formal description and verification of the Accoounting Model of TINA architecture, perfected on basis of the described initial model in documents TINA-C Telecommunications Information Networking Architecture Consortium. Is was used a technique of Formal Description LOTOS to make the specification and Aldèbaran tool for verification… (More)