Vor Ort
Merkzettel Warenkorb
  • Produktbild: Structured Object-Oriented Formal Language and Method
  • Produktbild: Structured Object-Oriented Formal Language and Method
Band 13854

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.2023

Herausgeber

Shaoying Liu + weitere

Verlag

Springer

Seitenzahl

151

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

260 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-29475-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.2023

Herausgeber

Verlag

Springer

Seitenzahl

151

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

260 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-29475-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Structured Object-Oriented Formal Language and Method
  • Produktbild: Structured Object-Oriented Formal Language and Method
  • Model Checking & Markov Decision Process .- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.-  Model Analysis & Tool Implementation .- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.-  Formal Specification & Testing .- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.-  Algorithms & Verification .- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.