Q1416852
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 1028.00041
published in: Lecture Notes in Computer Science
publication date: 2003-12-16T00:00:00Z
full work available at URL: t2757.htm
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Maibaum, Tom}, In memoriam Armando Martín Haeberer. 4 January 1947 -- 11 February 2003, 1-25 [Zbl 1274.01088] \textit{Aichernig, Bernhard K.}, Contract-based testing., 34-48 [Zbl 1274.68061] \textit{Jifeng, He}, An algebraic approach to the VERILOG programming., 65-80 [Zbl 1274.68074] \textit{Hung, Dang Van}, Real-time systems development with duration calculi: an overview., 81-96 [Zbl 1274.68192] \textit{Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio}, Graph-based models of internetworking systems., 242-266 [Zbl 1274.68011] \textit{Chen, Jing; Lin, Huimin}, Making timed automata communicate., 337-351 [Zbl 1274.68226] \textit{Shankar, Natarajan}, Verification by abstraction., 367-380 [Zbl 1274.68204] \textit{Manna, Zohar; Zarba, Calogero G.}, Combining decision procedures., 381-422 [Zbl 1274.68078] \textit{Kaltenbach, Markus; Misra, Jayadev}, A theory of hints in model checking., 423-438 [Zbl 1274.68193] \textit{Kobayashi, Naoki}, Type systems for concurrent programs., 439-453 [Zbl 1274.68076]
Mathematics Subject Classification ID: 00B30
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 2018455
zbMATH Keywords: Formal methods
zbMATH Keywords: Lisbon (Portugal)
MaRDI profile type: Publication
OpenAlex ID: W2490478666
DOI: 10.1007/B11934
Recommended article: Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II
Recommended article: Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part I
Recommended article: Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings
Recommended article: Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8--11, 2010. Revised selected papers
Recommended article: Formal Methods: State of the Art and New Directions
Recommended article: FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
Recommended article: Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers
Recommended article: Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10--14, 2013. Proceedings
Recommended article: Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010
Recommended article: Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings
label: 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
description: scientific article; zbMATH DE number 2018455