Enrico Vigano
|
|
||||
| Department | SVV | ||||
| Adresse postale |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Bureau sur le campus | JFK Building, E01-111 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 9102 | ||||
| Fax | (+352) 46 66 44 39102 | ||||
powered by
Sous presse
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap; ; ;
in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (in press)
