Category:LNCS 1055

From BibNetWiki

Lecture Notes in Computer Science, Volume 1055

Articles in category "LNCS 1055"

There are 13 articles in this category.

A An Analyzer for Message Sequence Charts C CTc - A Tool Supporting the Construction of cTLA-Specifications E Efficient Local Model-Checking for Fragments of the Modal - Calculus F Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits

P PEP - More than a Petri Net Tool R Rapid Prototyping for an Assertional Specification Language Reactive EFSMs - Reactive Promelaslash RSPIN Relation-Algebraic Analysis of Petri Nets with RELVIEW S Strategy Construction in Infinite Games with Streett and Rabin Chain Winning Conditions

T The Fc2TOOLS Set Timed Conditionslash Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control Tools and algorithms for the construction and analysis of systems: second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996: proceedings U Using the Constraint Language Toupie for ''Software Cost Reduction'' Specification Analysis