Design and verification of long-running transactions in a timed framework - Concepedia

Concepedia

Publication | Closed Access

Design and verification of long-running transactions in a timed framework

25

Citations

14

References

2008

Year

Ruggero Lanotte, Andrea Maggiolo–Schettini, Paolo Milazzo, Angelo Troina

Science of Computer Programming

Hardware SecurityEngineeringTransactional ApplicationVerificationFormal MethodsSystems EngineeringTransactional SystemTransaction ProcessingComputer ScienceTimed SystemFormal VerificationDistributed TransactionTimed Framework

References

	Year	Citations

Page 1