Related Books

Construction And Analysis Of Transition Systems With Mec
Language: en
Pages: 201
Authors: A Arnold
Categories: Computers
Type: BOOK - Published: 1994-12-16 - Publisher: World Scientific

DOWNLOAD EBOOK

The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software
Construction and Analysis of Transition Systems with MEC
Language: en
Pages: 212
Authors: Andr‚ Arnold
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: World Scientific

DOWNLOAD EBOOK

The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software
Modeling and Verification of Real-time Systems
Language: en
Pages: 283
Authors: Nicolas Navet
Categories: Science
Type: BOOK - Published: 2013-03-07 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to
Algebraic Methodology and Software Technology
Language: en
Pages: 660
Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 1996-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Content Description #Includes bibliographical references and index.
A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593
Authors: Nils Jansen
Categories: Computers
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has