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

Áreas de investigación:	Sin categoría	Año:	2001
Tipo de publicación:	Artículo en conferencia
Autores:	5, 4 2
Título del libro:	5th World Multiconference on Systemics, Cybernetics and Informatics (SCI)
Dirección:	Orlando, EEUU
Mes:	Julio
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", }