Carlos Bazílio

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Carlos Bazílio, Edward Hermann Haeusler, Markus Endler: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electr. Notes Theor. Comput. Sci. 184: 189-207 (2007)

2006

1 EE Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler: An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1

2007
2	EE	Carlos Bazílio, Edward Hermann Haeusler, Markus Endler: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electr. Notes Theor. Comput. Sci. 184: 189-207 (2007)
2006
1	EE	Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler: An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1

Coauthor Index

1	Fernando Náufel do Amaral	[1]
2	Markus Endler	[2]
3	Edward Hermann Haeusler	[1] [2]
4	Alexandre Rademaker	[1]
5	Geiza Maria Hamazaki da Silva	[1]