scientific article; zbMATH DE number 1982194

zbMath1023.68536MaRDI QIDQ4426363

Theo C. Ruys

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Combinatorial optimization (90C27) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Model checking meets auto-tuning of high-performance programs ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Survey on Directed Model Checking

Uses Software

• Unnamed Item
• SPIN

This page was built for publication: