scientific article; zbMATH DE number 2080039
From MaRDI portal
Publication:4472226
zbMath1043.68581MaRDI QIDQ4472226
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800037.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Time-Bounded Verification ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Translating between models of concurrency ⋮ Checking noninterference in timed CSP ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Timed CSP = Closed Timed Automata1
Uses Software
