| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465330903316 |
|
|
Titolo |
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / / edited by Jan Vytopil |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 628 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 571 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Applied mathematics |
Engineering mathematics |
Mathematical logic |
Computer logic |
Probabilities |
Statistics |
Theory of Computation |
Applications of Mathematics |
Mathematical Logic and Foundations |
Logics and Meanings of Programs |
Probability Theory and Stochastic Processes |
Statistics, general |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
ISL: An interval logic for the specification of real-time programs -- Duration specifications for shared processors -- A compositional semantics for fault-tolerant real-time systems -- Modelling real-time behavior with an interval time calculus -- Multicycles and RTL logic satisfiability -- Voluntary preemption: A tool in the design of hard real-time systems -- Observing task preemption in Ada 9X -- Real-time scheduling by queue automata -- Broadcast communication for real- |
|
|
|
|
|
|
|
|
|
|
|
time processes -- Analysis of timeliness requirements in safety-critical systems -- Verification of a reliable net protocol -- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization -- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems -- On fault-tolerant symbolic computations -- Temporal logic applied to reliability modelling of fault-tolerant systems -- Specifying asynchronous transfer of control -- Protocol design by layered decomposition -- Scheduling in Real-Time Models -- A temporal approach to requirements specification of real-time systems -- RLucid, a general real-time dataflow language -- A mechanized theory for the verification of real-time program code using higher order logic -- Specification and verification of real-time behaviour using Z and RTL -- TAM: A formal framework for the development of distributed real-time systems -- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language -- The real-time behaviour of asynchronously communicating processes -- Asynchronous communication in real space process algebra -- Translating timed process algebra into prioritized process algebra -- Operational semantics for timed observations -- Real-timed concurrent refineable behaviours -- Stepwise development of model-oriented real-time specifications from action/event models -- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic -- Timed and Hybrid Statecharts and their textual representation. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNIORUON00014282 |
|
|
Autore |
Penna, Angelo |
|
|
Titolo |
I Libri dei Maccabei nei manoscritti siriaci della Biblioteca Vaticana / Angelo Penna |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Edizione |
[Città del Vaticano : Biblioteca Apostolica Vaticana] |
|
|
|
|
|
Descrizione fisica |
|
Estratto da Melanges Eugenes Tisserant, vol. I |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
MANOSCRITTI SIRIACI - BIBBIA - COLLEZIONI E MUSEI - VATICANO |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |