#ReqV - Twitter Hashtag

over 6 years ago

Formal methods for #verification and #testing of Cyber-Physical Systems #CPS at #CERBERO final event. Thanks Luca, from @IdeaLabUniss, for presenting #reqV and #reqT! @luca_pulina @simo_v8 @CERBERO_h2020 @hipeac

Tiziana_Fanni's tweet photo. Formal methods for #verification and #testing of Cyber-Physical Systems #CPS at #CERBERO final event. Thanks Luca, from @IdeaLabUniss, for presenting #reqV and #reqT! @luca_pulina @simo_v8 @CERBERO_h2020 @hipeac https://t.co/5ZsYMw4VJ1

0

8

4

0

IDEA Lab @IdeaLabUniss

almost 7 years ago

Luca Carloni @ColumbiaSld gave a great talk at our @CPSschool19 summer school last September. #ESP has a great potential. We strongly believe in #OpenSource too. #ReqV is already open, and #MDC will be soon!

PULP Platform @pulp_platform

almost 7 years ago

Luca Carloni @ColumbiaSld came by from Columbia University to give a talk on “ESP: An Open-Source Platform for Heterogeneous Computing”. They are using our Ariane in their project https://t.co/lh3o3heFMg. In the photo below you can see 2x Luca and Bianca the Bear 🐻

pulp_platform's tweet photo. Luca Carloni @ColumbiaSld came by from Columbia University to give a talk on “ESP: An Open-Source Platform for Heterogeneous Computing”. They are using our Ariane in their project https://t.co/lh3o3heFMg. In the photo below you can see 2x Luca and Bianca the Bear 🐻 https://t.co/g5qs5F2bWA

1

27

3

1

0

8

2

0

ClusterPROSSIMO @CProssimo

almost 7 years ago

Everything is ready to start the #tool #exhibition at @formalmethods19 in #Porto. Come and visit @luca_pulina from #IdeaLabUniss (@unissTwit) to learn more about #ReqV, #tool for #requirements #verification.

Luca Pulina @luca_pulina

almost 7 years ago

ReqV at FM 2019 Tool Exhibition! #idealabuniss @CERBERO_h2020 @CProssimo

0

8

4

0

10

3

0

ClusterPROSSIMO @CProssimo

over 7 years ago

E per chi non avesse questa possibilità, potete trovare tante info su #ReqV✅ sul sito ufficiale del tool (https://t.co/U10yuM2sDp) e sul canale youtube di #ideaLabUniss (https://t.co/3ovQIZPkW3) @unissTwit

0

4

1

0

ClusterPROSSIMO @CProssimo

over 7 years ago

Anche voi a Firenze per #DATE2019? Non perdete il booth di #ideaLabUniss! @simo_v8 non vede l'ora di aggiornarvi su tutte le novità di #ReqV✅

Tiziana Fanni @Tiziana_Fanni

over 7 years ago

@simo_v8, from #ideaLabUniss, is presenting #ReqV at the #DATE2019 University Booth. Don't miss the chance to talk with him about requirements validation in @CERBERO_h2020

Tiziana_Fanni's tweet photo. @simo_v8, from #ideaLabUniss, is presenting #ReqV at the #DATE2019 University Booth. Don't miss the chance to talk with him about requirements validation in @CERBERO_h2020 https://t.co/3C0uICjUZS

0

4

1

0

1

4

2

0

Tiziana Fanni @Tiziana_Fanni

over 7 years ago

@simo_v8, from #ideaLabUniss, is presenting #ReqV at the #DATE2019 University Booth. Don't miss the chance to talk with him about requirements validation in @CERBERO_h2020

0

4

1

0