Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems

Cybernetics and Information Technologies - Bulgaria
doi 10.1515/cait-2016-0022
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Walter de Gruyter GmbH

Related search

Multi-Sided Assignment Games on M-Partite Graphs

SSRN Electronic Journal
2017English

Antisymmetric Multi-Partite Quantum States and Their Applications

Fortschritte der Physik
AstronomyPhysics
2003English

Automated Invariant Generation for the Verification of Real-Time Systems

English

Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments

2015English

Real-Time Multi-Agent Systems for Telerehabilitation Scenarios

Artificial Intelligence in Medicine
MedicineArtificial Intelligence
2019English

Software Requirements Analysis for Real-Time Process-Control Systems

IEEE Transactions on Software Engineering
Software
1991English

Homomorphisms of Completen-Partite Graphs

International Journal of Mathematics and Mathematical Sciences
Mathematics
1986English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy