HYBRID 1992 | Sciweavers

30

HYBRID
1992
Springer

93views Control Systems» more HYBRID 1992»

A Formal Approach to Computer Systems Requirements Documentation

14 years 3 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 »

31

click to vote

HYBRID
1992
Springer

88views Control Systems» more HYBRID 1992»

Verifying Hybrid Systems

14 years 3 months ago

Download www.csr.city.ac.uk

Zohar Manna, Amir Pnueli

claim paper

Read More »

35

click to vote

HYBRID
1992
Springer

117views Control Systems» more HYBRID 1992»

An Approach to the Description and Analysis of Hybrid Systems

14 years 3 months ago

Download www-verimag.imag.fr

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

claim paper

Read More »

25

click to vote

HYBRID
1992
Springer

90views Control Systems» more HYBRID 1992»

Hybrid Systems in TLA+

14 years 3 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers