scientific article
From MaRDI portal
Publication:2769581
zbMath0978.68091MaRDI QIDQ2769581
Hassen Saidi, Natarajan Shankar, Harald Ruess, Ashish Kumar Tiwari
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310113
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods ⋮ k-Inductive Barrier Certificates for Stochastic Systems ⋮ Subsequence Invariants ⋮ Constructing invariants for hybrid systems ⋮ Endomorphisms for Non-trivial Non-linear Loop Invariant Generation ⋮ Generating invariants for non-linear hybrid systems
This page was built for publication:
