English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In ICS, WUT a COSMA design environment is being developed. COSMA is based onConcurrent State Machines (CSM) formalism of system specification. It containsa graphical tool for system design, various tools for the analysis (including atemporal model checker), simulator and code generator. In many projects, somecommon susbsystems take place. This concerns both complicated modules andsimple counters. In the report, a concept of macrogeneration technique forbuilding of libraries of automata is presented. The new technique will supporta compactness of projects and reusability of modules.

Macrogeneration and Automata Libraries For COSMA design environment