Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures

DOI10.1007/B14033zbMath1028.00026OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ1416838

No author found.

Publication date: 16 December 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2852.htm

zbMATH Keywords

FMCO 2002Formal methods for componentsFormal methods for objectsLeiden (The Netherlands)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Symbolic model checking for channel-based component connectors ⋮ A Bibliography of Willem-Paul de Roever

This page was built for publication: Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures