Titlebook: Industrial-Strength Formal Methods in Practice; Michael G. Hinchey,Jonathan P. Bowen Book 1999 Springer-Verlag London 1999 Clean.Schedulin

抵消

Michael G. Hinchey,Jonathan P. BowenThe only book to concentrate specifically on industrial applications

注意力集中

Formal Approaches to Computing and Information Technology (FACIT)http://image.papertrans.cn/i/image/464149.jpg

URN

978-1-85233-640-0Springer-Verlag London 1999

insolence

https://doi.org/10.1007/978-1-4471-0523-7Clean; Scheduling; computer-aided design (CAD); development; formal method; formal methods; formal verific

antedate

Scheduling and Rescheduling of Trains,The PRaCoSy (.eoples Republic of China .ilway .mputing System) project was a collaborative project between the Chinese Ministry of Railways and UNU/IIST, the United Nations University International Institute for Software Technology in Macau. The first phase ran from September 1993 to December 1994 and the second from August 1995 to March 1996.

Override

unstable-angina

gerontocracy

Nibble

The Formal Verification of a Payment System,nications make offline operation necessary. It was built around smartcard-based electronic wallet functions: money is loaded from the bank, via bank cards, to customer cards, to merchant cards, and finally back to the bank through a clearing system (Anderson, 1992).