Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003
DBLP:	db/conf/unu/unu2002.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 26  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Bernhard K. Aichernig. Contract-Based Testing.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Egidio Astesiano, Gianna Reggio, Maura Cerioli. From Formal Techniques to Well-Founded Software Development Methods.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Paul A. Bailes, Colin J. M. Kemp. Formal Methods within a Totally Functional Approach to Programming.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Dines Bjørner. "What Is an Infrastructure?" Towards an Informatics Answer.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Manfred Broy. Multi-view Modeling of Software Systems.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Chaochen Zhou. UNU and UNU/IIST.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Jing Chen, Huimin Lin. Making Timed Automata Communicate.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi. A Tool Architecture for the Next Generation of Uppaal.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto. Graph-Based Models of Internetworking Systems.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002
	Conference paper José Luiz Fiadeiro. Coordination Technologies for Just-in-Time Integration.	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 2003	(0)	2002

Show item 1 to 10 of 26  

Your query returned 26 matches in the database.