Reactive systems

View on Open Library

Reactive systems

No reviews yet

First published: 2003 1 language ISBN: 9780511334122

Subjects

Expert systems (Computer science) Validation Verification System design Mathematical models Computer software, verification Computer science, mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Luca Aceto

Automata, Languages and Programming

Automata, Languages and Programming

Foundations of Software Science and Computational Structures

Foundations of Software Science and Comp...

Action refinement in process algebras

Action refinement in process algebras

Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)

Action Refinement in Process Algebras (D...

Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

Reactive Systems

Reactive Systems

You Might Also Like

More in Expert systems (Comp...

Edition 1

Thomson Gale

Artificial Intelligence Applications and Innovations

Artificial Intelligence Applications and...

Lazaros S. Iliadis

Advances in Electronics and Electron Physics (Advances in Imaging and Electron Physics)

Advances in Electronics and Electron Phy...

Peter W. Hawkes

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Knowledge Discovery, Knowledge Engineeri...

Ana Fred

Intelligent Computing Theories and Application

Intelligent Computing Theories and Appli...

De-Shuang Huang

Intelligent systems for engineers and scientists

Intelligent systems for engineers and sc...

Adrian A. Hopgood