scientific article; zbMATH DE number 1519981
From MaRDI portal
Publication:4509996
zbMath0953.68089MaRDI QIDQ4509996
Publication date: 19 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (8)
Efficient symbolic computation of process expressions ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ A process algebraic framework for specification and validation of real-time systems ⋮ Refactoring Object-Oriented Specifications with Data and Processes ⋮ Model transformations across views ⋮ Testing for refinement in \textsf{Circus}
Uses Software
This page was built for publication:
