HYBRID 1992 | Sciweavers

20

HYBRID
1992
Springer

93views Control Systems» more HYBRID 1992»

A Formal Approach to Computer Systems Requirements Documentation

13 years 10 months ago

This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...

Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...

claim paper

Read More »

17

click to vote

HYBRID
1992
Springer

88views Control Systems» more HYBRID 1992»

Verifying Hybrid Systems

13 years 11 months ago

Download www.csr.city.ac.uk

Zohar Manna, Amir Pnueli

claim paper

Read More »

22

click to vote

HYBRID
1992
Springer

117views Control Systems» more HYBRID 1992»

An Approach to the Description and Analysis of Hybrid Systems

13 years 11 months ago

Download www-verimag.imag.fr

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...

claim paper

Read More »

18

click to vote

HYBRID
1992
Springer

90views Control Systems» more HYBRID 1992»

Hybrid Systems in TLA+

13 years 11 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers