( en | de | ru )

 

Disambiguation of "Simoncini, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Formally Verifying Fault Tolerant System Designs.

, , and . Comput. J., 43 (3): 191-205 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Tranchini

Luca Rizzini

Luca Tuninetti

Alfonz Luca

Marcello Lucà

 

Other publications of authors with the same name

Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study., , and . EDCC, volume 852 of Lecture Notes in Computer Science, page 77-94. Springer, (1994)Incomplete Fault Coverage In Modular Miltiprocessor Systems., and . ACM Annual Conference (1), page 210-216. ACM, (1978)Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking., , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 93-110. Springer, (1996)From Data Flow Networks to Process Algebras., , and . PARLE, volume 694 of Lecture Notes in Computer Science, page 740-743. Springer, (1993)Formally Verifying Fault Tolerant System Designs., , and . Comput. J., 43 (3): 191-205 (2000)A Distributed Domino-Effect free recovery Algorithm., , and . Symposium on Reliability in Distributed Software and Database Systems, page 207-215. IEEE Computer Society, (1984)Architectural challenges for a dependable Information Society., , , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 282-304. Kluwer/Springer, (2004)Architectural Challenges for Ämbient Dependability".. WORDS Fall, page 245-249. IEEE Computer Society, (2003)Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.. ISADS, page 409-410. IEEE Computer Society, (1999)Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations., , and . SRDS, page 214-221. IEEE Computer Society, (1992)