Integration of Behavioral and Data Requirements in Specification and Verification with Temporal Logic

Research areas:	Uncategorized	Year:	2001
Type of Publication:	In Proceedings
Authors:	5, 4 2
Book title:	5th World Multiconference on Systemics, Cybernetics and Informatics (SCI)
Address:	Orlando, EEUU
Month:	July
BibTex:
@conference{GPFSCFGA01, author = "5,2,4,Estela Sousa Vieira,Esther Casquero Villacorta,Amalia Falc{\'o}n Docampo,Carlos Gabieiro Mart{\'i}nez,Jes{\'u}s Arias Fisteus", address = "Orlando, EEUU", booktitle = "5th World Multiconference on Systemics, Cybernetics and Informatics (SCI)", month = "jul", title = "{I}ntegration of {B}ehavioral and {D}ata {R}equirements in {S}pecification and {V}erification with {T}emporal {L}ogic", year = "2001", }