Atjaunināt sīkdatņu piekrišanu

E-grāmata: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 15219
  • Izdošanas datums: 08-Oct-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031737091
Citas grāmatas par šo tēmu:
  • Formāts - EPUB+DRM
  • Cena: 77,31 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IPalielināt
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 15219
  • Izdošanas datums: 08-Oct-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031737091
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 





ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.





This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicolas 70th birthday, held jointly with the ISOLA 2024s track on REoCAS (Rigorous Engineering of Collective Adaptive Systems). Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Roccos much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent contributions to cybersecurity.





 
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicolas 70th
Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the
making.- Formal approaches for modeling and analysis of business process
collaborations.- An abstract account of  up-to techniques for inductive
behavioural relations.- Language equivalence from Nondeterministic to
Weighted Automata --- and back.- A Process Algebraic View of In/Out
Prisoners.- Towards a Formal Testing Theory for Quantum  Processes.- Testing
Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of
Probabilistic Loops.- Towards a probabilistic programming approach to analyse
collective adaptive systems.- Can AI Help with the Formalization of Railway
Cybersecurity Requirements?.- White-box validation of collective adaptive
systems by statistical model checking and process mining.- Analysing
collective adaptive systems by proving theorems.- Engineering Ethical-aware
Collective Adaptive Systems.- Emerging Synchrony in Applauding Audiences:
Formal Analysis and Specification.- Flocks of Birds: A Quantitative
Evaluation.- Strategies in spatio-temporal logics for multi-agent systems.-
Function-as-a-Service Allocation Policies Made Formal.- Asynchronous
Multiparty Sessions with Internal Delegation.- Code-centric Code Generation.-
Attack Tree Generation via Process Mining.- Local Spaces in Soft Concurrent
Constraint Programming Oriented to Security.- Riding the data storms:
specifying and analysing IoT security requirements with SURFING.- Preventing
Out-of-Gas Exceptions by Typing.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830317370916e.html