Author name: gisum_user

The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015)

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015) The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings

The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015) Read More »

SDL FORUM 2015 (SDL 2015)

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab SDL FORUM 2015 (SDL 2015) The SDL Forum is held every 2 years and is one of the most important open events in the calendar for anyone from industry and academia involved in System Design Languages and modelling technologies. It is a primary conference

SDL FORUM 2015 (SDL 2015) Read More »

TNC18 – Intelligent networks, cool edges?

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TNC18 – Intelligent networks, cool edges? Laura Panizo presents the EuWireless project poster in TNC18 on Monday 11th and Tuesday 12th of June 2018 in Trondheim, Norway.More information on the conference schedule and the EuWireless poster can be found from the event website. 11-12 June 2018 – Norway

TNC18 – Intelligent networks, cool edges? Read More »

SPIN 2018

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab SPIN 2018 The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on

SPIN 2018 Read More »

Networld 2020

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab Networld 2020 NetWorld2020 is the European Technology Platform for communications networks and services. Communications networks enable interaction between users of various types of equipment, either mobile or fixed. They are the foundation of the Internet. The NetWorld2020 European Technology Platform gathers players of the

Networld 2020 Read More »

Open Air Interface Alliance

Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab Open Air Interface Alliance The OpenAirInterfaceTM Software Alliance (OSA) is a non-profit consortium to develop ecosystem for open source software/hardware development for the core network (EPC) and access-network (EUTRAN) of 3GPP cellular networks. The Alliance sponsors the initial work of EURECOM to create OpenAirInterfaceTM towards development

Open Air Interface Alliance Read More »