Author/Creator: Falcone, Yliès - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Falcone, Yliès

1. Decentralized enforcement of document lifecycle constraints. (May 2018)

Authors:: Hallé, Sylvain; Khoury, Raphaël; Betti, Quentin; El-Hokayem, Antoine; Falcone, Yliès
Journal:: Information systems
Issue:: Volume 74:Part 2(2018)
Page Start:: 117
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018)

Editors:: Bartocci, Ezio; Falcone, Yliès
Record Type:: Book
Extent:: 1 online resource (VII, 233 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016)

Editors:: Falcone, Yliès; Sánchez, César
Other Names:: RV (Conference), 16th
Record Type:: Book
Extent:: 1 online resource (xxi, 512 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗