Social Media

Quick Links

Register
CME Information
ASE 2020: Virtual Experience FAQs
Schedule At A Glance
Schedule Details
Repository
Twitter Session Moderators

Retweet on Twitter Claudio Retweeted

Domenico Bianculli @bianculld·

2h

Our student @ChaimaBoufaied2 presenting her paper on model-driven trace checking of signal-based temporal properties at #ase2020. Joint work with @menghi_claudio @lionel_c_briand and LuxSpace. Preprint at https://orbilu.uni.lu/handle/10993/44159

Retweet on Twitter Lionel Briand Retweeted

Domenico Bianculli @bianculld·

2h

Our student @ChaimaBoufaied2 presenting her paper on model-driven trace checking of signal-based temporal properties at #ase2020. Joint work with @menghi_claudio @lionel_c_briand and LuxSpace. Preprint at https://orbilu.uni.lu/handle/10993/44159

Annual Meeting
Buy Educational Products
Contrast
Connect@ASE
For Patients
Foundation
JASE Online

2020 Program Committee
Call for Science
ASE Home
CME Information
Contact us
Exhibitor Information
Future Dates
Industry Round Table Partners
Privacy Policy