scientific article; zbMATH DE number 1395608
From MaRDI portal
Publication:4935249
zbMath0941.68029MaRDI QIDQ4935249
No author found.
Publication date: 31 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
Uses Software
This page was built for publication:
