Search Results - Lluch Lafuente, Alberto
- Showing 1 - 3 results of 3
-
1
Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings by International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)
Published: Springer, 2021Other Authors: “…Lluch Lafuente, Alberto…”Description: 1 online resource : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers by TGC (Symposium) Buenos Aires, Argentina), SpringerLink (Online service)
Published: Springer, 2014Other Authors:Description: 1 online resource (x, 331 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computi... by COORDINATION (Conference) Ērakleion, Greece), SpringerLink (Online service), International Federated Conferences on Distributed Computing Techniques
Published: Springer, 2016Other Authors: “…Lluch Lafuente, Alberto…”Description: 1 online resource (xiv, 279 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook
Search Tools:
Related Subjects
Computer software Verification
Computer networks Security measures
Computer programming
Computer programs Reliability
Computer programs Verification
Computer security
Computer software Reliability
Computer software Validation
Electronic data processing Distributed processing
Formal methods (Computer science)
Software architecture
Software engineering