Asynchronous Testing of Synchronous Components in GALS Systems

Lina Marsso, Radu Mateescu, Ioannis Parissis and Wendelin Serwe

Paper (2019)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item

ISBN:	9783030349684
PolyPublie URL:	https://publications.polymtl.ca/73865/
Conference Title:	15th International Conference on Integrated Formal Methods (IFM 2019)
Conference Location:	Bergen, Norway
Conference Date(s):	2019-12-02 - 2019-12-06
Editors:	Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa
Journal Title:	Lecture notes in computer science
Publisher:	Springer Science+Business Media
DOI:	10.1007/978-3-030-34968-4_20
Official URL:	https://doi.org/10.1007/978-3-030-34968-4_20
Date Deposited:	05 May 2026 14:31
Last Modified:	05 May 2026 14:33

Cite in APA 7:	Marsso, L., Mateescu, R., Parissis, I., & Serwe, W. (2019, December). Asynchronous Testing of Synchronous Components in GALS Systems [Paper]. 15th International Conference on Integrated Formal Methods (IFM 2019), Bergen, Norway. Published in Lecture notes in computer science. https://doi.org/10.1007/978-3-030-34968-4_20
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only