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

Perspectives of System Informatics

Overview of attention for book
Cover of 'Perspectives of System Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Rapid Instruction Decoding for IA-32
  3. Altmetric Badge
    Chapter 2 Case-Based Genetic Optimization of Web User Interfaces
  4. Altmetric Badge
    Chapter 3 Inter-country Competition and Collaboration in the miRNA Science Field
  5. Altmetric Badge
    Chapter 4 Archival Information Systems: New Opportunities for Historians
  6. Altmetric Badge
    Chapter 5 Two-Step Deductive Verification of Control Software Using Reflex
  7. Altmetric Badge
    Chapter 6 Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing
  8. Altmetric Badge
    Chapter 7 Parallel Factorization of Boolean Polynomials
  9. Altmetric Badge
    Chapter 8 Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
  10. Altmetric Badge
    Chapter 9 The Analytical Object Model as a Base of Heterogeneous Data Integration
  11. Altmetric Badge
    Chapter 10 Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm
  12. Altmetric Badge
    Chapter 11 A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax
  13. Altmetric Badge
    Chapter 12 Nobrainer: An Example-Driven Framework for C/C++ Code Transformations
  14. Altmetric Badge
    Chapter 13 A Logical Approach to the Analysis of Aerospace Images
  15. Altmetric Badge
    Chapter 14 Data Compression Algorithms in Analysis of UI Layouts Visual Complexity
  16. Altmetric Badge
    Chapter 15 Computable Topology for Reliable Computations
  17. Altmetric Badge
    Chapter 16 About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers
  18. Altmetric Badge
    Chapter 17 An Ontology-Based Approach to the Agile Requirements Engineering
  19. Altmetric Badge
    Chapter 18 Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS
  20. Altmetric Badge
    Chapter 19 Verification and Validation of Semantic Annotations
  21. Altmetric Badge
    Chapter 20 Towards Automatic Deductive Verification of C Programs over Linear Arrays
  22. Altmetric Badge
    Chapter 21 Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
  23. Altmetric Badge
    Chapter 22 Causality-Based Testing in Time Petri Nets
Attention for Chapter 22: Causality-Based Testing in Time Petri Nets
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
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
Causality-Based Testing in Time Petri Nets
Chapter number 22
Book title
Perspectives of System Informatics
Published by
Springer, Cham, July 2019
DOI 10.1007/978-3-030-37487-7_22
Book ISBNs
978-3-03-037486-0, 978-3-03-037487-7
Authors

Elena Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann, Bozhenkova, Elena, Virbitskaite, Irina, Popova-Zeugmann, Louchka

View on publisher site

This page is provided by Altmetric.