5900 search results - page 36 / 1180 » Dependable Systems |
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
ICSOFT
2009
13 years 5 months ago
2009
DAGSTUHL
2010
13 years 2 months ago
2010
WORDS
2003
IEEE
14 years 26 days ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...