↓ Skip to main content
What is this page? Embed badge

Concurrency, Specification and Programming

Overview of attention for book
Cover of 'Concurrency, Specification and Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Natural Language Processing for Requirements Formalization: How to Derive New Approaches?
  3. Altmetric Badge
    Chapter 2 Left Recursion by Recursive Ascent
  4. Altmetric Badge
    Chapter 3 An Example of Computation in Interactive Granular Computing
  5. Altmetric Badge
    Chapter 4 Extended Future in Testing Semantics for Time Petri Nets
  6. Altmetric Badge
    Chapter 5 Toward Recommender Systems Scalability and Efficacy
  7. Altmetric Badge
    Chapter 6 Security Enforcing
  8. Altmetric Badge
    Chapter 7 Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive
  9. Altmetric Badge
    Chapter 8 A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel
  10. Altmetric Badge
    Chapter 9 Graph-Based Sparse Neural Networks for Traffic Signal Optimization
Attention for Chapter 4: Extended Future in Testing Semantics for Time Petri Nets
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Extended Future in Testing Semantics for Time Petri Nets
Chapter number 4
Book title
Concurrency, Specification and Programming
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-26651-5_4
Book ISBNs
978-3-03-126650-8, 978-3-03-126651-5
Authors

Bozhenkova, Elena, Virbitskaite, Irina

View on publisher site

This page is provided by Altmetric.