High-Level Frameworks for the Specification and Verification of Scheduling Problems

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-017-0466-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

High-Level Verification

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2009English

Specification of Service Level Agreements: Problems, Principles and Practices

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2004English

Formal Specification and Verification

2019English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

High-Level Debugging and Verification for FPGA-Based Multicore Architectures

2015English

High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs

Journal of Network and Systems Management
Information SystemsComputer NetworksStrategyHardwareCommunicationsManagementArchitecture
2009English

Property Specification Patterns for Finite-State Verification

1998English

Combining CSP and B for Specification and Property Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy