Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[escet-dev] Eclipse ESCET paper
  • From: Dennis Hendriks <dh_tue@xxxxxxxxxxx>
  • Date: Sat, 3 Jun 2023 11:31:38 +0000
  • Accept-language: nl-NL, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=vt4CY6MjjXWDe4lR8asJg1uLdGspaHPLdZZQG/fVZMU=; b=e6yMtZPXCiBW+w792kluxIrjFXzZBJio7YOK2oGEHio1kuUR2eFj8Mfd3GjZkNM8LfmoSw7R8cFjwvZfy8BRGf2XqX3Cg1zVZ56sr8FuyvuIkOtP3k28pMXfFdqP8srekN/ZdK1br3vI9MyrVcJDaVsDsCIKwpvwXj+UoNW2L+JN0FnR5iP/5MGW4eS1wcJub1OLbOg9UIwdDzGCsvzaU4NAXJkgbbS+hy5fr7cMtBf7RrsYMjoUGs6PSiYW/i1+3eNPrNS2ZwYp2cshJ55ts2xIWKSkB5CP3K5HqkchKV2ZuORfz0bzP46w7Xz+VwR4dcOvkidHaqB3P2zzUs8Yaw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JfKSXKvlhRwYeE1Agq2DbmgdUBz2KF0EVZcLps2CH+zkkooOd80cPKOoBpDptPMlH4tlpJdfGqqfFToDMjRtdF1rGjLo5KTJLjITwB0hYTYP/e0lYa1TwA7XFLQN3HNZSY+NUIrBbTkhhBHGOCw+BZv2Ra21tCmVLODyjlg9aqRhnBHvQZMhoiy/0YMtfLRdRrivXY/G5EeJdT9G6OKVyr5t5PFF60ttzGop+0QrtOSWbM14VDEUEwsMLHOZ0WAFbRrBaLXMehOngGPIHhM65KlWLUwyKpLpGSAZQ+4bXpLl1yBqFxFvZ6yIbU7SrPm8kVQVLUAyY8NR3XwOKXqEjw==
  • Delivered-to: escet-dev@xxxxxxxxxxx
  • List-archive: <https://dev.eclipse.org/mailman/private/escet-dev/>
  • List-help: <mailto:escet-dev-request@eclipse.org?subject=help>
  • List-subscribe: <https://dev.eclipse.org/mailman/listinfo/escet-dev>, <mailto:escet-dev-request@eclipse.org?subject=subscribe>
  • List-unsubscribe: <https://dev.eclipse.org/mailman/options/escet-dev>, <mailto:escet-dev-request@eclipse.org?subject=unsubscribe>
  • Msip_labels:
  • Thread-index: AQHZlg7NROKGsiN6rkCCKEGkslHF2Q==
  • Thread-topic: Eclipse ESCET paper
Hi all,

In case you want to refer to Eclipse ESCET in scientific publications, you can now refer to the following paper:

W. J. Fokkink, M. A. Goorden, D. Hendriks, D. A. van Beek, A. T. Hofkamp, F. F. H. Reijnen, L. F. P. Etman, L. Moormann, J. M. van de Mortel-Fronczak, M. A. Reniers, J. E. Rooda, L. J. van der Sanden, R. R. H. Schiffelers, S. B. Thuijsman, J. J. Verbakel, and J. A. Vogel, "Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit", Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 44-52, 2023

https://doi.org/10.1007/978-3-031-30820-8_6

Regards,
Dennis

Back to the top